Semantics of roundoff error propagation in finite precision calculations
From MaRDI portal
Publication:853732
DOI10.1007/S10990-006-8608-2zbMATH Open1105.65052OpenAlexW2033118822MaRDI QIDQ853732FDOQ853732
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
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Chaos
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Abstract Interpretation Frameworks
- Numerical Software with Result Verification
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the implementation of automatic differentiation tools
- Automatic linear correction of rounding errors
- Rigorous error analysis of numerical algorithms via symbolic computations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (12)
- An abstract interpretation framework for the round-off error analysis of floating-point programs
- Title not available (Why is that?)
- 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
- Stabilizing Floating-Point Programs Using Provenance Analysis
- Expectiles for subordinated Gaussian processes with applications
- 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
Uses Software
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)
