Pages that link to "Item:Q3431545"
From MaRDI portal
The following pages link to RealLib: An efficient implementation of exact real arithmetic (Q3431545):
Displaying 7 items.
- RealLib (Q14525) (← links)
- 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)
- On the Kolmogorov Complexity of Continuous Real Functions (Q3091443) (← links)
- The Dedekind reals in abstract Stone duality (Q3395312) (← links)
- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method (Q3511455) (← links)
- Implementing Real Numbers With RZ (Q4918049) (← links)
