RealLib: An efficient implementation of exact real arithmetic

DOI10.1017/S0960129506005822MaRDI QIDQ3431545zbMATH OpenFDO

Authors 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

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

Recommendations

• Implementing exact real arithmetic in python, C++ and C
• Publication:4531992
• Using Taylor models in exact real arithmetic
• Efficient Exact Arithmetic over Constructive Reals
• Computer Certified Efficient Exact Reals in Coq

Cited in

(23)

• Infinite-precision inner product and sparse matrix-vector multiplication using Ozaki scheme with Dot2 on manycore processors
• SHRAD: A language for sequential real number computation
• Semantics, specification logic, and Hoare logic of exact real computation
• scientific article; zbMATH DE number 1979264 (Why is no real title available?)
• scientific article; zbMATH DE number 1746032 (Why is no real title available?)
• scientific article; zbMATH DE number 1746052 (Why is no real title available?)
• Efficient Exact Arithmetic over Constructive Reals
• Effective real numbers in Mmxlib
• A constructive theory of continuous domains suitable for implementation
• The world's shortest correct exact real arithmetic program?
• Using Taylor models in exact real arithmetic
• On the Kolmogorov complexity of continuous real functions
• scientific article; zbMATH DE number 1746043 (Why is no real title available?)
• Interval Arithmetic Using SSE-2
• Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations
• RealLib
• Implementing real numbers with RZ
• Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
• Computer Science for Continuous Data
• The constructive reals as a Java library
• The Dedekind reals in abstract Stone duality
• A lazy approach to adaptive exact real arithmetic using floating-point operations
• Implementing exact real arithmetic in python, C++ and C

Describes a project that uses

Uses Software

• iRRAM
• PNM
• xrc
• LBNL

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3431545)