Software Search - zbMATH Open

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; XBLAS; Algorithm 524; LBNL; MPFI; gmp
Referenced in:	46 Publications
Further Publications:	http://www-pequan.lip6.fr/cadna/Bibliography.php

2 Publications describing the Software, including 2 Publications in zbMATH	Year
CADNA: a library for estimating round-off error propagation. Zbl 1196.65020 Jézéquel, Fabienne; Chesneaux, Jean-Marie	2008
Validation of results of collocation methods for ODEs with CADNA library. Zbl 0858.65084 Alt, R.; Vignes, J.	1996

all top 5

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

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

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)