Numerical validation of compensated summation algorithms with stochastic arithmetic

DOI10.1016/j.entcs.2015.10.007zbMath1352.65666OpenAlexW2250554476WikidataQ113317764 ScholiaQ113317764MaRDI QIDQ2520678

Stef Graillat, Romain Picot, Fabienne Jézéquel

Publication date: 16 December 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2015.10.007

zbMATH Keywords

discrete stochastic arithmeticfloating-point arithmeticrounding errorssummation algorithmserror-free transformationsCADNAcompensated algorithms

Mathematics Subject Classification ID

Roundoff error (65G50) Numerical algorithms for computer arithmetic, etc. (65Y04)

Related Items

Dynamical strategy on homotopy perturbation method for solving second kind integral equations using the CESTAC method, Valid implementation of sinc-collocation method to solve the fuzzy Fredholm integral equation, Numerical validation of compensated algorithms with stochastic arithmetic, Stochastic Rounding and Its Probabilistic Backward Error Analysis

Uses Software

• CADNA
• mctoolbox

Cites Work

• Unnamed Item
• Unnamed Item
• CADNA: a library for estimating round-off error propagation
• Discrete stochastic arithmetic for validating results of numerical software
• A floating-point technique for extending the available precision
• Handbook of Floating-Point Arithmetic
• Accuracy and Stability of Numerical Algorithms
• Accurate Sum and Dot Product