Semantics of roundoff error propagation in finite precision calculations

DOI10.1007/s10990-006-8608-2zbMath1105.65052OpenAlexW2033118822MaRDI QIDQ853732

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)

Related Items (6)

Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics ⋮ Stabilizing Floating-Point Programs Using Provenance Analysis ⋮ Numerically accurate code synthesis for Gauss pivoting method to solve linear systems coming from mechanics ⋮ Expectiles for subordinated Gaussian processes with applications ⋮ Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods ⋮ Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions

Uses Software

• MPFR
• ADIC
• mctoolbox

Cites Work

• Rigorous error analysis of numerical algorithms via symbolic computations
• On the implementation of automatic differentiation tools
• Abstract Interpretation Frameworks
• Numerical Software with Result Verification
• Chaos
• Automatic linear correction of rounding errors
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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