Semantics of roundoff error propagation in finite precision calculations

DOI10.1007/S10990-006-8608-2MaRDI QIDQ853732zbMATH OpenOpenAlexFDO

Authors Matthieu Martel

Publication date 17 November 2006

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10990-006-8608-2

zbMATH Keywords

Abstract interpretationFloating-point arithmeticIEEE 754 StandardNumerical precision

Mathematics Subject Classification ID

Roundoff error (65G50) Mathematical problems of computer architecture (68M07)

Recommendations

• scientific article; zbMATH DE number 2087546
• scientific article; zbMATH DE number 3870486
• Réduction et majoration de l'erreur d'arrondi en arithmétique à virgule flottante
• scientific article; zbMATH DE number 3854308
• scientific article; zbMATH DE number 4143358
• On roundoff error distributions in floating point and logarithmic arithmetic
• Probability Analysis of Round-Off Errors in Floating-Point Arithmetic
• scientific article; zbMATH DE number 3338100

Cites work

• scientific article; zbMATH DE number 3696380 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1178976 (Why is no real title available?)
• scientific article; zbMATH DE number 1948393 (Why is no real title available?)
• scientific article; zbMATH DE number 2084728 (Why is no real title available?)
• scientific article; zbMATH DE number 2087546 (Why is no real title available?)
• scientific article; zbMATH DE number 2087547 (Why is no real title available?)
• scientific article; zbMATH DE number 1832227 (Why is no real title available?)
• scientific article; zbMATH DE number 1863384 (Why is no real title available?)
• scientific article; zbMATH DE number 846277 (Why is no real title available?)
• scientific article; zbMATH DE number 1456803 (Why is no real title available?)
• scientific article; zbMATH DE number 3285185 (Why is no real title available?)
• Abstract Interpretation Frameworks
• Automatic linear correction of rounding errors
• Chaos
• Numerical Software with Result Verification
• On the implementation of automatic differentiation tools
• Rigorous error analysis of numerical algorithms via symbolic computations

Cited in

(12)

• An abstract interpretation framework for the round-off error analysis of floating-point programs
• scientific article; zbMATH DE number 2087546 (Why is no real title available?)
• Verification, Model Checking, and Abstract Interpretation
• Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics
• Rigorous estimation of floating-point round-off errors with symbolic Taylor expansions
• Impact of accuracy optimization on the convergence of numerical iterative methods
• Expectiles for subordinated Gaussian processes with applications
• Stabilizing Floating-Point Programs Using Provenance Analysis
• Static analysis of finite precision computations
• Numerical Software with Result Verification
• Numerically accurate code synthesis for Gauss pivoting method to solve linear systems coming from mechanics
• Semantics-Based Transformation of Arithmetic Expressions

Describes a project that uses

Uses Software

• mctoolbox
• ADIC
• MPFR

This page was built for publication: Semantics of roundoff error propagation in finite precision calculations

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