Cited in
(19)- Effective real numbers in Mmxlib
- A constructive theory of continuous domains suitable for implementation
- On the Kolmogorov complexity of continuous real functions
- Interval Arithmetic Using SSE-2
- Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations
- Exact exploration and hanging algorithms
- core 2
- xrc
- iRRAM
- RZ
- VNODE
- Mmxlib
- Implementing real numbers with RZ
- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
- From coinductive proofs to exact real arithmetic: theory and applications
- Affine functions and series with co-inductive real numbers
- RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
- The Dedekind reals in abstract Stone duality
This page was built for software: RealLib
