CADNA

CADNA: a library for estimating round-off error propagation. The CADNA library enables one to estimate round-off error propagation using a probabilistic approach. With CADNA the numerical quality of any simulation program can be controlled. Furthermore by detecting all the instabilities which may occur at run time, a numerical debugging of the user code can be performed. CADNA provides new numerical types on which round-off errors can be estimated. Slight modifications are required to control a code with CADNA, mainly changes in variable declarations, input and output. This paper describes the features of the CADNA library and shows how to interpret the information it provides concerning round-off error propagation in a code (Source: http://cpc.cs.qub.ac.uk/summaries/)


References in zbMATH (referenced in 46 articles , 2 standard articles )

Showing results 1 to 20 of 46.
Sorted by year (citations)

1 2 3 next

  1. Connolly, Michael P.; Higham, Nicholas J.; Mary, Theo: Stochastic rounding and its probabilistic backward error analysis (2021)
  2. Lange, Marko; Rump, Siegfried M.: Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin’s (\sin(\theta)) theorem (2021)
  3. Barzegar Kelishami, Hasan; Fariborzi Araghi, Mohammad Ali; Amirfakhrian, Majid: The use of CESTAC method to find optimal shape parameter and optimal number of points in RBF-meshless methods to solve differential equations (2020)
  4. Fariborzi Araghi, Mohammad Ali: A reliable algorithm to check the accuracy of iterative schemes for solving nonlinear equations: an application of the CESTAC method (2020)
  5. Nawaz, Rashid; Hussain, Zawar; Khattak, Abraiz; Khan, Adam: Extension of optimal homotopy asymptotic method with use of Daftardar-Jeffery polynomials to coupled nonlinear-Korteweg-de-Vries system (2020)
  6. Noeiaghdam, Samad; Araghi, Mohammad Ali Fariborzi; Abbasbandy, Saeid: Valid implementation of sinc-collocation method to solve the fuzzy Fredholm integral equation (2020)
  7. Noeiaghdam, S.; Sidorov, D.; Sizikov, V.; Sidorov, N.: Control of accuracy of Taylor-collocation method to solve the weakly regular Volterra integral equations of the first kind by using the CESTAC method (2020)
  8. Fariborzi, Mohammad Ali; Noeiaghdam, Samad: Valid implementation of the sinc-collocation method to solve linear integral equations by the CADNA library (2019)
  9. Noeiaghdam, Samad; Fariborzi Araghi, Mohammad Ali; Abbasbandy, Saeid: Finding optimal convergence control parameter in the homotopy analysis method to solve integral equations based on the stochastic arithmetic (2019)
  10. Noeiaghdam, Samad; Sidorov, Denis Nikolaevich; Muftahov, Il’dar Rinatovich; Zhukov, Alekseĭ Vital’evich: Control of accuracy on Taylor-collocation method for load leveling problem (2019)
  11. Graillat, Stef; Jézéquel, Fabienne; Picot, Romain: Numerical validation of compensated algorithms with stochastic arithmetic (2018)
  12. Jibran, Muhammad; Nawaz, Rashid; Khan, Asfandyar; Afzal, Sajjad: Iterative solutions of Hirota Satsuma coupled KdV and modified coupled KdV systems (2018)
  13. Khojasteh Salkuyeh, Davod: Stepsize control for cubic spline interpolation (2017)
  14. Fariborzi Araghi, Mohammad Ali; Barzegar Kelishami, Hasan: Dynamical control of accuracy in the fuzzy Runge-Kutta methods to estimate the solution of a fuzzy differential equation (2016)
  15. Graillat, S.; Jézéquel, F.; Picot, R.: Numerical validation of compensated summation algorithms with stochastic arithmetic (2015)
  16. Jézéquel, Fabienne; Langlois, Philippe; Revol, Nathalie: First steps towards more numerical reproducibility (2014)
  17. Alt, Rene; Lamotte, Jean-Luc: Stochastic arithmetic as a tool to study the stability of biological models (2013)
  18. Denis, Christophe; Montan, Sethy: Numerical verification of industrial numerical codes (2012)
  19. Li, Wenbin; Simon, Sven; Kieß, Steffen: On the estimation of numerical error bounds in linear algebra based on discrete stochastic arithmetic (2012)
  20. Graillat, Stef; Jézéquel, Fabienne; Wang, Shiyue; Zhu, Yuxiang: Stochastic arithmetic in multiprecision (2011)

1 2 3 next


Further publications can be found at: http://www-pequan.lip6.fr/cadna/Bibliography.php