CADNA: a library for estimating round-off error propagation, Computer Physics Communications, vol.178, issue.12, pp.933-955, 2008. ,
DOI : 10.1016/j.cpc.2008.02.003
Discrete Stochastic Arithmetic for Validating Results of Numerical Software, Numerical Algorithms, vol.37, issue.1-4, pp.377-390, 2004. ,
DOI : 10.1023/B:NUMA.0000049483.75679.ce
URL : https://hal.archives-ouvertes.fr/hal-01146498
Pracniques: further remarks on reducing truncation errors, Communications of the ACM, vol.8, issue.1, p.40, 1965. ,
DOI : 10.1145/363707.363723
On Properties of Floating Point Arithmetics: Numerical Stability and the Cost of Accurate Computations, 1992. ,
Accuracy and stability of numerical algorithms, Society for Industrial and Applied Mathematics (SIAM), 2002. ,
DOI : 10.1137/1.9780898718027
Accurate Sum and Dot Product, SIAM Journal on Scientific Computing, vol.26, issue.6, pp.1955-1988, 2005. ,
DOI : 10.1137/030601818
A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971. ,
DOI : 10.1007/BF01397083
A stochastic arithmetic for reliable scientific computation, Mathematics and Computers in Simulation, vol.35, issue.3, pp.233-261, 1993. ,
DOI : 10.1016/0378-4754(93)90003-D
Zéro mathématique et zéro informatique Comptes Rendus de l'Académie des Sciences - Series I -Mathematics, also: La Vie des Sciences, pp.997-1000, 1986. ,
Les fondements de l'arithmétique stochastique, Comptes Rendus de l'Académie des Sciences -Series I -Mathematics, pp.1435-1440, 1992. ,
Handbook of Floating-Point Arithmetic, Birkhäuser, 2010. ,
DOI : 10.1007/978-0-8176-4705-6
URL : https://hal.archives-ouvertes.fr/ensl-00379167
Fast Reproducible Floating-Point Summation, 2013 IEEE 21st Symposium on Computer Arithmetic, pp.163-172, 2013. ,
DOI : 10.1109/ARITH.2013.9
Floating-point computation. Prentice-Hall series in automatic computation, 1973. ,
Handling floating-point exceptions in numeric programs, ACM Transactions on Programming Languages and Systems, vol.18, issue.2, pp.139-174, 1996. ,
DOI : 10.1145/227699.227701