Creal

swMATH19086MaRDI QIDQ30916FDOQ30916

Author name not available (Why is that?)

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

Cited In (2)

• Cr
• The constructive reals as a Java library

This page was built for software: Creal