Cr

swMATH19087MaRDI QIDQ30917FDOQ30917

Author name not available (Why is that?)

Official website: https://www.lri.fr/~filliatr/creal.en.html

Cited In (4)

• Computing fundamental domains for Fuchsian groups
• Creal
• The constructive reals as a Java library
• Exact real arithmetic using centred intervals and bounded error terms

This page was built for software: Cr