Ghosha

icon location nobody from the void :c or just kinda astronomer

Results 3 comments of Ghosha

Fixed-Point Numbers

I agree that this is my problem :b Many thanks for these examples, they helped to figure it out!

Equations and solutions of equations

Just in case, I'll leave it here as examples: Logipedia – Encyclopedia of Formal Proofs http://logipedia.inria.fr/ Post about it in HN https://news.ycombinator.com/item?id=19413195 witk several useful links as http://us.metamath.org/

Orbital and\or rotational evolution with mass loss

Thank you for quick respond! I will try ASAP and report results.