Exact real arithmetic systems: Results of competition

DOI10.1007/3-540-45335-0_24MaRDI QIDQ4532001zbMATH OpenFDO

Authors Jens Blanck

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/20640389

Mathematics Subject Classification ID

Roundoff error (65G50)

Recommendations

• A survey of exact arithmetic implementations
• Arbitrary precision real arithmetic: design and algorithms
• RealLib: An efficient implementation of exact real arithmetic
• scientific article; zbMATH DE number 1231646
• Exact real arithmetic for interval number systems

Cited in

(9)

• The constructive reals as a Java library
• Arbitrary precision real arithmetic: design and algorithms
• Efficient exact computation of iterated maps
• Exact real arithmetic for interval number systems
• Exact real arithmetic using centred intervals and bounded error terms
• Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations
• A survey of exact arithmetic implementations
• Quantitative continuity and Computable Analysis in Coq
• The world's shortest correct exact real arithmetic program?

Describes a project that uses

Uses Software

• iRRAM

This page was built for publication: Exact real arithmetic systems: Results of competition

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