The following pages link to (Q4532001):
Displaying 6 items.
- The constructive reals as a Java library (Q1779561) (← links)
- Arbitrary precision real arithmetic: design and algorithms (Q1779562) (← links)
- Efficient exact computation of iterated maps (Q1779563) (← links)
- Exact real arithmetic using centred intervals and bounded error terms (Q2577477) (← links)
- Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations (Q2802491) (← links)
- Quantitative continuity and Computable Analysis in Coq (Q5875440) (← links)
