CADNA swMATH ID: 98 Software Authors: Fabienne Jézéquel, Jean-Marie Chesneaux Description: 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 Homepage: http://cpc.cs.qub.ac.uk/summaries/AEAT_v1_0.html Programming Languages: Fortran. Operating Systems: LINUX, UNIX. Keywords: CADNA; CESTAC method; Discrete Stochastic Arithmetic; floating- point arithmetic; numerical validation; round-off errors. Related Software: mctoolbox; INTLAB; MPFR; SAM; filib++; TELEMAC; LAPACK; PEGASE; BinaryConnect; OEIS; ReproBLAS; Arb; Compqd; BVPh; METIS; Algorithm 524; XBLAS; LBNL; MPFI; gmp Cited in: 46 Publications Further Publications: http://www-pequan.lip6.fr/cadna/Bibliography.php Standard Articles 2 Publications describing the Software, including 2 Publications in zbMATH Year CADNA: a library for estimating round-off error propagation. Zbl 1196.65020Jézéquel, Fabienne; Chesneaux, Jean-Marie 2008 Validation of results of collocation methods for ODEs with CADNA library. Zbl 0858.65084Alt, R.; Vignes, J. 1996 all top 5 Cited by 60 Authors 7 Fariborzi Araghi, Mohammad Ali 7 Jézéquel, Fabienne 7 Toutounian, Faezeh 6 Alt, René 6 Chesneaux, Jean-Marie 6 Noeiaghdam, Samad 5 Khojasteh Salkuyeh, Davod 5 Lamotte, Jean-Luc 5 Markov, Svetoslav Marinovich 3 Abbasbandy, Saeid 3 Graillat, Stef 3 Sidorov, Denis Nikolaevich 3 Vignes, Jean 2 Barzegar Kelishami, Hasan 2 Nawaz, Rashid 2 Picot, Romain 2 Rico, Fabien 1 Afzal, Sajjad 1 Alefeld, Götz E. 1 Amirfakhrian, Majid 1 Asadi, Bahram 1 Asserrhine, Jalil 1 Barber, Robert W. 1 Charikhi, M. 1 Connolly, Michael P. 1 Denis, Christophe 1 Emerson, David R. 1 Fariborzi, Mohammad Ali 1 Frommer, Andreas 1 Gu, Xiaojun 1 Hervouet, Jean-Michel 1 Higham, Nicholas J. 1 Hussain, Zawar 1 Jibran, Muhammad 1 Kearfott, Baker 1 Khan, Adam 1 Khan, Asfandyar 1 Khattak, Abraiz 1 Kieß, Steffen 1 Lang, Bruno 1 Lange, Marko 1 Langlois, Philippe 1 Li, Wenbin 1 Mary, Theo A. 1 Montan, Sethy 1 Moulinec, Charles 1 Muftahov, Ildar Rinatovich 1 Neher, Markus 1 Oishi, Shin’ichi 1 Razafindrakoto, Emile 1 Revol, Nathalie 1 Rougé, D. 1 Rump, Siegfried Michael 1 Sidorov, Nikolaĭ Aleksandrovich 1 Simon, Sven 1 Troff, Bruno 1 Wang, Shiyue 1 Yazdi, Hamed Shariat 1 Zhu, Yuxiang 1 Zhukov, Aleksei Vitalevich all top 5 Cited in 26 Serials 6 Applied Numerical Mathematics 5 Numerical Algorithms 2 Applied Mathematics and Computation 2 Journal of Computational and Applied Mathematics 2 Mathematics and Computers in Simulation 2 Journal of Universal Computer Science 1 Computers and Fluids 1 Computer Physics Communications 1 BIT 1 La Vie des Sciences 1 SIAM Journal on Scientific Computing 1 Complexity 1 Mathematical Problems in Engineering 1 European Series in Applied and Industrial Mathematics (ESAIM): Proceedings 1 Journal of Applied Mathematics and Computing 1 Mathematics in Computer Science 1 Applied and Computational Mathematics 1 S\(\vec{\text{e}}\)MA Journal 1 Journal of Fuzzy Set Valued Analysis 1 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika 1 Biomath 1 Journal of Mathematical Modeling 1 Computational Methods for Differential Equations 1 International Journal of Applied and Computational Mathematics 1 European Series in Applied and Industrial Mathematics (ESAIM): Proceedings and Surveys 1 Mathematical Research all top 5 Cited in 15 Fields 41 Numerical analysis (65-XX) 7 Computer science (68-XX) 4 Integral equations (45-XX) 3 Ordinary differential equations (34-XX) 3 Partial differential equations (35-XX) 3 Approximations and expansions (41-XX) 3 Probability theory and stochastic processes (60-XX) 2 Fluid mechanics (76-XX) 1 General and overarching topics; collections (00-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Real functions (26-XX) 1 Special functions (33-XX) 1 Statistics (62-XX) 1 Astronomy and astrophysics (85-XX) 1 Biology and other natural sciences (92-XX) Citations by Year