andrejbauer/marshall

Real number computation software

29 best points · 4 comments · 1 Hacker News post · 128 GitHub stars · View on GitHub

Hacker News discussions

• Marshall: Exact real arithmetic based on Dedekind reals (29 points, 4 comments, by mjn, 2012-08-20)