Cr
From MaRDI portal
Software:30917
No author found.
Related Items (3)
The constructive reals as a Java library ⋮ Computing fundamental domains for Fuchsian groups ⋮ Exact real arithmetic using centred intervals and bounded error terms
This page was built for software: Cr
