Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations

DOI10.1007/978-3-662-49498-1_16MaRDI QIDQ2802491zbMATHOpenAlexFDO

Authors Hideyuki Kawabata, Hideya Iwasaki

Publication date 26 April 2016

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-49498-1_16

zbMATH Keywords

lazy evaluationHaskell libraryaccurate numerical computationimproving floating-point numbers

Mathematics Subject Classification ID

Packaged methods for numerical algorithms (65Y15) Roundoff error (65G50)

Recommendations

• A lazy approach to adaptive exact real arithmetic using floating-point operations
• Improved estimates for error in floating point representation analysis
• Adaptive precision floating-point arithmetic and fast robust geometric predicates
• Accurate floating-point summation: a new approach
• Réduction et majoration de l'erreur d'arrondi en arithmétique à virgule flottante
• Improved error bounds for inner products in floating-point arithmetic
• Adaptive precision floating point LLL
• On the Possibility of Increasing the Accuracy of Computations in the Floating-Point Format with Multiple Exponents
• On relative errors of floating-point operations: optimal bounds and applications

Cites work

• scientific article; zbMATH DE number 1178976 (Why is no real title available?)
• scientific article; zbMATH DE number 1746032 (Why is no real title available?)
• scientific article; zbMATH DE number 1746043 (Why is no real title available?)
• scientific article; zbMATH DE number 1746052 (Why is no real title available?)
• High-accuracy arithmetic software—some tests of the ACRITH problem-solving routines
• Pruning with improving sequences in lazy functional programs
• RealLib: An efficient implementation of exact real arithmetic

Cited in

(1)

• Impact of accuracy optimization on the convergence of numerical iterative methods

Describes a project that uses

Uses Software

• RealLib
• Haskell
• iRRAM

This page was built for publication: Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations

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