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

DOI10.1145/3549205MaRDI QIDQ6599992FDOQ6599992

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

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

• CADNA: a library for estimating round-off error propagation
• The design of the Boost interval arithmetic library
• An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Interval Newton iteration in multiple precision for the univariate case
• MPFR
• A Fortran 90-based multiprecision system
• A high-performance, portable implementation of the MPI message passing interface standard
• An overview of the Trilinos project
• Certifying the Floating-Point Implementation of an Elementary Function Using Gappa
• A floating-point technique for extending the available precision
• Handbook of Floating-Point Arithmetic
• Title not available (Why is that?)
• Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
• Faithfully Rounded Floating-point Computations
• Certified Roundoff Error Bounds Using Semidefinite Programming
• Sound compilation of reals
• High-precision arithmetic in mathematical physics

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)