Constructive real arithmetic calculator developed as part of a computer science course on BUT
-
Updated
Oct 1, 2026 - HTML
#
constructive-reals
Here are 4 public repositories matching this topic...
A Rust implementation of exact real number arithmetic, inspired by the Android Calculator and based on Hans-J. Boehm’s research.
-
Updated
Oct 27, 2026 - Rust
ConstructiveReals implement a kind of arbitrary precision arithmetic that increases precision automatically
csharp math numbers arbitrary-precision arithmetic numerical-methods floating-point real float numerical-computation constructive-reals
-
Updated
Jun 23, 2024 - C#
-
Updated
Sep 26, 2024 - Scheme
Add this topic to your repo
To associate your repository with the constructive-reals topic, visit your repo's landing page and select "manage topics."