CADNA: a library for estimating round-off error propagation
From MaRDI portal
Publication:710229
DOI10.1016/j.cpc.2008.02.003zbMath1196.65020OpenAlexW2067856382MaRDI QIDQ710229
Fabienne Jézéquel, Jean-Marie Chesneaux
Publication date: 18 October 2010
Published in: Computer Physics Communications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.cpc.2008.02.003
CESTAC methoddiscrete stochastic arithmeticfloating-point arithmeticround-off errors\texttt{CADNA}numerical validation
Software, source code, etc. for problems pertaining to numerical analysis (65-04) Numerical algorithms for computer arithmetic, etc. (65Y04)
Related Items (max. 100)
Finding optimal results in the homotopy analysis method to solve fuzzy integral equations ⋮ The use of CESTAC method to find optimal shape parameter and optimal number of points in RBF-meshless methods to solve differential equations ⋮ Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem ⋮ Stochastic Rounding Variance and Probabilistic Bounds: A New Approach ⋮ On the estimation of numerical error bounds in linear algebra based on discrete stochastic arithmetic ⋮ Stochastic arithmetic in multiprecision ⋮ Runtime abstract interpretation for numerical accuracy and robustness ⋮ Stepsize control for cubic spline interpolation ⋮ Numerical validation of compensated summation algorithms with stochastic arithmetic ⋮ CADNA ⋮ Optimal iterate of the power and inverse iteration methods ⋮ Numerical validation of compensated algorithms with stochastic arithmetic ⋮ Stochastic Rounding and Its Probabilistic Backward Error Analysis
Cites Work
This page was built for publication: CADNA: a library for estimating round-off error propagation