scientific article; zbMATH DE number 1746032

MaRDI QIDQ4531979zbMATH OpenFDO

Authors Paul Gowland, David R. Lester

Publication date 27 May 2002

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

• scientific article; zbMATH DE number 1746052
• 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
• scientific article; zbMATH DE number 1746052 (Why is no real title available?)
• 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:

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