The following pages link to RealLib (Q14525):
Displaying 13 items.
- A constructive theory of continuous domains suitable for implementation (Q1023289) (← links)
- Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations (Q2802491) (← links)
- Effective real numbers in Mmxlib (Q2958980) (← links)
- From coinductive proofs to exact real arithmetic: theory and applications (Q3003309) (← links)
- On the Kolmogorov Complexity of Continuous Real Functions (Q3091443) (← links)
- The Dedekind reals in abstract Stone duality (Q3395312) (← links)
- Affine functions and series with co-inductive real numbers (Q3431543) (← links)
- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method (Q3511455) (← links)
- Exact Exploration and Hanging Algorithms (Q3586039) (← links)
- RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice (Q3611720) (← links)
- Implementing Real Numbers With RZ (Q4918049) (← links)
- Interval Arithmetic Using SSE-2 (Q5302768) (← links)
- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice (Q5426863) (← links)
