Error bounds on complex floating-point multiplication, Mathematics of Computation, vol.76, issue.259, pp.1469-1481, 2007. ,
DOI : 10.1090/S0025-5718-07-01931-X
URL : https://hal.archives-ouvertes.fr/inria-00120352
A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971. ,
DOI : 10.1007/BF01397083
Accuracy and Stability of Numerical Algorithms, Society for Industrial and Applied Mathematics (SIAM), 2002. ,
DOI : 10.1137/1.9780898718027
Floating-Point Arithmetic and Program Correctness Proofs, p.133, 1980. ,
Implementing complex elementary functions using exception handling, ACM Transactions on Mathematical Software, vol.20, issue.2, pp.215-244, 1994. ,
DOI : 10.1145/178365.178404
Error bounds on complex floating-point multiplication with an FMA, Mathematics of Computation, vol.86, issue.304, p.2016 ,
DOI : 10.1090/mcom/3123
URL : https://hal.archives-ouvertes.fr/hal-00867040
Midpoints and Exact Points of Some Algebraic Functions in Floating-Point Arithmetic, IEEE Transactions on Computers, vol.60, issue.2, pp.228-241, 2011. ,
DOI : 10.1109/TC.2010.144
URL : https://hal.archives-ouvertes.fr/ensl-00409366
Improved Error Bounds for Inner Products in Floating-Point Arithmetic, SIAM Journal on Matrix Analysis and Applications, vol.34, issue.2, pp.338-344, 2013. ,
DOI : 10.1137/120894488
URL : https://hal.archives-ouvertes.fr/hal-00840926
Prime factors k · 2 n + 1 of Fermat numbers Fm and complete factoring status, 2016. ,
The Art of Computer Programming, Seminumerical Algorithms, 1998. ,
Computation of elementary functions on the IBM RISC System/6000 processor, IBM Journal of Research and Development, vol.34, issue.1, pp.111-119, 1990. ,
DOI : 10.1147/rd.341.0111
Accurate Sum and Dot Product, SIAM Journal on Scientific Computing, vol.26, issue.6, pp.1955-1988, 2005. ,
DOI : 10.1137/030601818
Improved Backward Error Bounds for LU and Cholesky Factorizations, SIAM Journal on Matrix Analysis and Applications, vol.35, issue.2, pp.684-698, 2014. ,
DOI : 10.1137/130927231
URL : https://hal.archives-ouvertes.fr/hal-00841361
Accurate Floating-Point Summation Part I: Faithful Rounding, SIAM Journal on Scientific Computing, vol.31, issue.1, pp.189-224, 2008. ,
DOI : 10.1137/050645671
The On-Line Encyclopedia of Integer Sequences ,
DOI : 10.1007/978-3-540-73086-6_12
Floating-Point Computation, 1974. ,
Error analysis of floating-point computation, Numerische Mathematik, vol.3, issue.1, pp.319-340, 1960. ,
DOI : 10.1007/BF01386233
46 allée d'Italie 69364 Lyon cedex 07, France E-mail address: claude-pierre.jeannerod@inria.fr Hamburg University of Technology, pp.3-4 ,