RealLib: An efficient implementation of exact real arithmetic

DOI10.1017/S0960129506005822zbMath1112.65137MaRDI QIDQ3431545

Branimir Lambov

Publication date: 12 April 2007

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

numerical examplesfinite arithmeticexact real number computationshardware floating pointRealLib package

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Packaged methods for numerical algorithms (65Y15)

Related Items (9)

Interval Arithmetic Using SSE-2 ⋮ Infinite-precision inner product and sparse matrix-vector multiplication using Ozaki scheme with Dot2 on manycore processors ⋮ Time Complexity and Convergence Analysis of Domain Theoretic Picard Method ⋮ Implementing Real Numbers With RZ ⋮ Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations ⋮ RealLib ⋮ On the Kolmogorov Complexity of Continuous Real Functions ⋮ A constructive theory of continuous domains suitable for implementation ⋮ The Dedekind reals in abstract Stone duality

Uses Software

• LBNL
• xrc
• PNM
• iRRAM

This page was built for publication: RealLib: An efficient implementation of exact real arithmetic