Algorithm 1029: encapsulated error, a direct approach to evaluate floating-point accuracy

DOI10.1145/3549205MaRDI QIDQ6599992FDOQ6599992

Authors Nestor Demeure, Cédric Chevalier, Christophe Denis, Pierre Dossantos-Uzarralde

Publication date 6 September 2024

Published in ACM Transactions on Mathematical Software (Search for Journal in Brave)

zbMATH Keywords

numerical verificationfloating-point arithmeticround-off errors

Mathematics Subject Classification ID

Numerical analysis (65-XX)

Cites work

• scientific article; zbMATH DE number 3463092 (Why is no real title available?)
• scientific article; zbMATH DE number 1052006 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)
• A Fortran 90-based multiprecision system
• A floating-point technique for extending the available precision
• A high-performance, portable implementation of the MPI message passing interface standard
• An abstract interpretation framework for the round-off error analysis of floating-point programs
• An overview of the Trilinos project
• CADNA: a library for estimating round-off error propagation
• Certified roundoff error bounds using semidefinite programming
• Certifying the Floating-Point Implementation of an Elementary Function Using Gappa
• Faithfully rounded floating-point computations
• Handbook of Floating-Point Arithmetic
• High-precision arithmetic in mathematical physics
• Interval Newton iteration in multiple precision for the univariate case
• MPFR
• Rigorous estimation of floating-point round-off errors with symbolic Taylor expansions
• Sound compilation of reals
• The design of the Boost interval arithmetic library

This page was built for publication: Algorithm 1029: encapsulated error, a direct approach to evaluate floating-point accuracy

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