RealLib
From MaRDI portal
Software:14525
No author found.
No records found.
Related Items (13)
Interval Arithmetic Using SSE-2 ⋮ Effective real numbers in Mmxlib ⋮ Time Complexity and Convergence Analysis of Domain Theoretic Picard Method ⋮ From coinductive proofs to exact real arithmetic: theory and applications ⋮ Implementing Real Numbers With RZ ⋮ Exact Exploration and Hanging Algorithms ⋮ RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice ⋮ RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice ⋮ Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations ⋮ On the Kolmogorov Complexity of Continuous Real Functions ⋮ A constructive theory of continuous domains suitable for implementation ⋮ The Dedekind reals in abstract Stone duality ⋮ Affine functions and series with co-inductive real numbers
This page was built for software: RealLib
