Pages that link to "Item:Q3431545"
From MaRDI portal
The following pages link to RealLib: An efficient implementation of exact real arithmetic (Q3431545):
Displayed 9 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)
- Interval Arithmetic Using SSE-2 (Q5302768) (← links)
- Infinite-precision inner product and sparse matrix-vector multiplication using Ozaki scheme with Dot2 on manycore processors (Q6135463) (← links)