Numerical validation of compensated algorithms with stochastic arithmetic
From MaRDI portal
Publication:2318228
DOI10.1016/j.amc.2018.02.004zbMath1427.65063OpenAlexW2561667289MaRDI QIDQ2318228
Stef Graillat, Fabienne Jézéquel, Romain Picot
Publication date: 14 August 2019
Published in: Applied Mathematics and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.amc.2018.02.004
discrete stochastic arithmeticfloating-point arithmeticrounding errorsnumerical validationerror-free transformationsCADNAcompensated algorithms
Related Items (2)
Stochastic Rounding and Its Probabilistic Backward Error Analysis ⋮ PACF: a precision-adjustable computational framework for solving singular values
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Improved error bounds for floating-point products and Horner's scheme
- Accurate evaluation of a polynomial in Chebyshev form
- Accurate evaluation of a polynomial and its derivative in Bernstein form
- CADNA: a library for estimating round-off error propagation
- Error estimation of floating-point summation and dot product
- Algorithms for accurate, validated and fast polynomial evaluation
- Accurate simple zeros of polynomials in floating point arithmetic
- Accurate quotient-difference algorithm: error analysis, improvements and applications
- Accurate evaluation of the \(k\)-th derivative of a polynomial and its application
- Accurate evaluation of polynomials in Legendre basis
- Discrete stochastic arithmetic for validating results of numerical software
- Numerical validation of compensated summation algorithms with stochastic arithmetic
- A floating-point technique for extending the available precision
- Correction d'une somme en arithmétique à virgule flottante
- Improved Error Bounds for Inner Products in Floating-Point Arithmetic
- Handbook of Floating-Point Arithmetic
- Accuracy and Stability of Numerical Algorithms
- Accurate Floating-Point Product and Exponentiation
- Rundungsfehleranalyse einiger Verfahren zur Summation endlicher Summen
- Accurate Sum and Dot Product
This page was built for publication: Numerical validation of compensated algorithms with stochastic arithmetic
