CADNA: a library for estimating round-off error propagation

DOI10.1016/J.CPC.2008.02.003zbMATH Open1196.65020OpenAlexW2067856382MaRDI QIDQ710229FDOQ710229

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

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

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)

Cites Work

• Discrete stochastic arithmetic for validating results of numerical software
• 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 (16)

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

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)