Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd, IEEE Transactions on Computers, vol.57, issue.4, 2008. ,
DOI : 10.1109/TC.2007.70819
URL : https://hal.archives-ouvertes.fr/inria-00080427
Scientific computing on Itanium based systems, 2002. ,
A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971. ,
DOI : 10.1007/BF01397083
MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, 2007. ,
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00070266
The Art of Computer Programming, 1998. ,
Quasi double-precision in floating point addition, BIT, vol.7, issue.6, pp.37-50, 1965. ,
DOI : 10.1007/BF01975722
The pitfalls of verifying floating-point computations, ACM Transactions on Programming Languages and Systems, vol.30, issue.3, pp.1-41, 2008. ,
DOI : 10.1145/1353445.1353446
URL : https://hal.archives-ouvertes.fr/hal-00128124
Accurate Sum and Dot Product, SIAM Journal on Scientific Computing, vol.26, issue.6, pp.1955-1988, 2005. ,
DOI : 10.1137/030601818
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.1547
Correction d'une somme en arithmetique a virgule flottante, Numerische Mathematik, vol.19, issue.5, pp.400-406, 1972. ,
DOI : 10.1007/BF01404922
On Properties of Floating-Point Arithmetics: Numerical Stability and the Cost of Accurate Computations, 1992. ,
Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates, Discrete & Computational Geometry, vol.18, issue.3, pp.305-363, 1997. ,
DOI : 10.1007/PL00009321