RealLib
From MaRDI portal
Software:14525
swMATH1977MaRDI QIDQ14525FDOQ14525
Author name not available (Why is that?)
Cited In (13)
- 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
- Implementing real numbers with RZ
- 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
This page was built for software: RealLib
