The constructive reals as a Java library
From MaRDI portal
Publication:1779561
DOI10.1016/j.jlap.2004.07.002zbMath1080.68005OpenAlexW1965940800MaRDI QIDQ1779561
Publication date: 1 June 2005
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2004.07.002
Related Items
Computing fundamental domains for Fuchsian groups ⋮ Exact real arithmetic using centred intervals and bounded error terms
Uses Software
Cites Work