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
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
Scientific computing on Itanium -based systems, 2002. ,
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
Accuracy and Stability of Numerical Algorithms MR1368629 (97a:65047) 6. , Accuracy and Stability of Numerical Algorithms, p.192760665064, 1996. ,
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
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
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. ,
High-precision division and square root, ACM Transactions on Mathematical Software, vol.23, issue.4, pp.561-589, 1997. ,
DOI : 10.1145/279232.279237
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
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
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
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
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 ,