The following pages link to RealLib (Q14525):
Displaying 8 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)
- Implementing Real Numbers With RZ (Q4918049) (← links)
