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

• 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)