S. Boldo, Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven, IEEE Transactions on Computers, vol.58, issue.2, pp.220-225, 2009.
DOI : 10.1109/TC.2008.200

R. P. Brent, C. Percival, and P. Zimmermann, 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

M. Cornea, J. Harrison, and P. T. Tang, Scientific computing on Itanium -based systems, 2002.

Y. Hida, X. S. Li, and D. H. Bailey, Algorithms for quad-double precision floating point arithmetic, Proceedings 15th IEEE Symposium on Computer Arithmetic. ARITH-15 2001, pp.155-162, 2001.
DOI : 10.1109/ARITH.2001.930115

N. J. Higham, . Siam, P. Philadelphia, and U. , Accuracy and Stability of Numerical Algorithms MR1368629 (97a:65047) 6. , Accuracy and Stability of Numerical Algorithms, p.192760665064, 1996.

E. Hokenek, R. K. Montoye, and P. W. Cook, Second-generation RISC floating point with multiply-add fused, IEEE Journal of Solid-State Circuits, vol.25, issue.5, pp.1207-1213, 1990.
DOI : 10.1109/4.62143

R. M. Jessani and C. H. Olson, The floating-point unit of the PowerPC 603e microprocessor, IBM Journal of Research and Development, vol.40, issue.5, pp.559-566, 1996.
DOI : 10.1147/rd.405.0559

W. Kahan, Matlab's loss is nobody's gain, Available at http://www.cs.berkeley.edu/ ~ wkahan/ MxMulEps.pdf, 1998. 12. , On the cost of floating-point computation without extra-precise arithmetic, wkahan/ieee754status/IEEE754.PDF, 1996.

A. H. Karp and P. Markstein, High-precision division and square root, ACM Transactions on Mathematical Software, vol.23, issue.4, pp.561-589, 1997.
DOI : 10.1145/279232.279237

G. Melquiond and S. Pion, Formally certified floating-point filters for homogeneous geometric predicates, RAIRO - Theoretical Informatics and Applications, vol.41, issue.1, pp.57-69, 2007.
DOI : 10.1051/ita:2007005

URL : https://hal.archives-ouvertes.fr/inria-00071232

R. K. Montoye, E. Hokonek, and S. L. Runyan, Design of the IBM RISC System/6000 floating-point execution unit, IBM Journal of Research and Development, vol.34, issue.1, pp.59-70, 1990.
DOI : 10.1147/rd.341.0059

Y. Nievergelt, Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit, ACM Transactions on Mathematical Software, vol.29, issue.1, pp.27-48, 2003.
DOI : 10.1145/641876.641878

S. M. Rump, T. Ogita, and S. Oishi, 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

C. Jennerod, N. Louvet, A. Muller-inria, L. Laboratoire, . Cnrs et al., Université de Lyon ? 46, allée d'Italie, 69364 Lyon cedex 07, France E-mail address: claude-pierre.jeannerod@ens-lyon.fr UCBL Université de Lyon ? 46, allée d'Italie, 69364 Lyon cedex 07, France E-mail address: nicolas.louvet@ens-lyon.fr CNRS, Laboratoire LIP, vol.46, pp.69364-69371