A survey of exact arithmetic implementations

DOI10.1007/3-540-45335-0_3MaRDI QIDQ4531979zbMATH OpenFDO

Authors Paul Gowland, David R. Lester

Publication date 27 May 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2064/20640030

Mathematics Subject Classification ID

Roundoff error (65G50) Computer aspects of numerical algorithms (65Y99)

Recommendations

• Exact real arithmetic systems: Results of competition
• Implementing exact real arithmetic in python, C++ and C
• RealLib: An efficient implementation of exact real arithmetic
• Useful computations need useful numbers
• Using PVS to validate the algorithms of an exact arithmetic.

Cited in

(13)

• Computing fundamental domains for Fuchsian groups
• The constructive reals as a Java library
• Arbitrary precision real arithmetic: design and algorithms
• Efficient exact computation of iterated maps
• Recent progress in exact geometric computation
• Exact real arithmetic using centred intervals and bounded error terms
• Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations
• Exact real arithmetic systems: Results of competition
• Efficient Exact Arithmetic over Constructive Reals
• Abstract State Machines with Exact Real Arithmetic
• A review note on arbitrary precision arithmetic
• The world's shortest correct exact real arithmetic program?
• Admissible digit sets

Describes a project that uses

Uses Software

• Algorithm 524
• iRRAM

This page was built for publication: A survey of exact arithmetic implementations

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