Pages that link to "Item:Q3431545"
From MaRDI portal
The following pages link to RealLib: An efficient implementation of exact real arithmetic (Q3431545):
Displayed 6 items.
- RealLib (Q14525) (← links)
- A constructive theory of continuous domains suitable for implementation (Q1023289) (← 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)
- Interval Arithmetic Using SSE-2 (Q5302768) (← links)