CADNA: a library for estimating round-off error propagation

DOI10.1016/J.CPC.2008.02.003MaRDI QIDQ710229zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

floating-point arithmeticround-off errorsdiscrete stochastic arithmeticCESTAC method\texttt{CADNA}numerical validation

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to numerical analysis (65-04) Numerical algorithms for computer arithmetic, etc. (65Y04)

Recommendations

• scientific article; zbMATH DE number 1542838
• scientific article; zbMATH DE number 903743
• Discrete stochastic arithmetic for validating results of numerical software
• scientific article; zbMATH DE number 440777
• Stochastic arithmetic in multiprecision

Cites work

• scientific article; zbMATH DE number 440776 (Why is no real title available?)
• scientific article; zbMATH DE number 4026680 (Why is no real title available?)
• scientific article; zbMATH DE number 193252 (Why is no real title available?)
• scientific article; zbMATH DE number 3463092 (Why is no real title available?)
• Discrete stochastic arithmetic for validating results of numerical software

Cited in

(16)

• Runtime abstract interpretation for numerical accuracy and robustness
• Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem
• On the estimation of numerical error bounds in linear algebra based on discrete stochastic arithmetic
• Algorithm 1029: encapsulated error, a direct approach to evaluate floating-point accuracy
• Finding optimal results in the homotopy analysis method to solve fuzzy integral equations
• Numerical validation of compensated summation algorithms with stochastic arithmetic
• Stochastic rounding and its probabilistic backward error analysis
• Optimal iterate of the power and inverse iteration methods
• Stochastic arithmetic in multiprecision
• The use of CESTAC method to find optimal shape parameter and optimal number of points in RBF-meshless methods to solve differential equations
• CADNA
• Numerical verification of industrial numerical codes
• Stochastic Rounding Variance and Probabilistic Bounds: A New Approach
• Numerical validation of compensated algorithms with stochastic arithmetic
• Stepsize control for cubic spline interpolation
• scientific article; zbMATH DE number 1542838 (Why is no real title available?)

This page was built for publication: CADNA: a library for estimating round-off error propagation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q710229)