RealLib
From MaRDI portal
Software:14525
swMATH1977MaRDI QIDQ14525FDOQ14525
Author name not available (Why is that?)
Cited In (13)
- Implementing Real Numbers With RZ
- Effective real numbers in Mmxlib
- A constructive theory of continuous domains suitable for implementation
- Interval Arithmetic Using SSE-2
- Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations
- On the Kolmogorov Complexity of Continuous Real Functions
- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
- 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
- Exact Exploration and Hanging Algorithms
This page was built for software: RealLib
