constructive-reals

There are 3 repositories under constructive-reals topic.

nicomichaelis/ConstructiveReals
ConstructiveReals implement a kind of arbitrary precision arithmetic that increases precision automatically
Language:C#1 1 00
2bllw8/collapse
Interactive text-based calculator
Language:Java00
acsd-tu-chemnitz/conformlog
Language:Scheme01