W. Kahan, Pracniques: further remarks on reducing truncation errors, Communications of the ACM, vol.8, issue.1, p.40, 1965.
DOI : 10.1145/363707.363723

E. Adams and U. Kulisch, Scientific Computing with Automatic Result Verification, 1993.

S. Boldo and G. Melquiond, Emulation of a FMA and correctlyrounded sums: proved algorithms using rounding to odd, IEEE Transactions on Computers, vol.57, issue.4, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00080427

S. Boldo and M. Daumas, Representable correcting terms for possibly underflowing floating point operations, 16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings., pp.79-86, 2003.
DOI : 10.1109/ARITH.2003.1207663

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

T. J. Dekker, A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971.
DOI : 10.1007/BF01397083

J. R. Hauser, 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

L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, 2007.
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00070266

D. Knuth, The Art of Computer Programming, 1998.

O. Møller, Quasi double-precision in floating point addition, BIT, vol.7, issue.6, pp.37-50, 1965.
DOI : 10.1007/BF01975722

D. Monniaux, 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

J. Muller, N. Brisebarre, F. De-dinechin, C. Jeannerod, V. Lefèvre et al., Handbook of Floating-Point Arithmetic, 2009.
DOI : 10.1007/978-0-8176-4705-6
URL : https://hal.archives-ouvertes.fr/ensl-00379167

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

M. Pichat, Correction d'une somme en arithmetique a virgule flottante, Numerische Mathematik, vol.19, issue.5, pp.400-406, 1972.
DOI : 10.1007/BF01404922
URL : http://www.digizeitschriften.de/download/PPN362160546_0019/PPN362160546_0019___log2.pdf

D. Priest, On Properties of Floating-Point Arithmetics: Numerical Stability and the Cost of Accurate Computations, 1992.

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.519.3738

J. R. Shewchuk, 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

Y. Zhu, J. Yong, and G. Zheng, A New Distillation Algorithm for Floating-Point Summation, SIAM Journal on Scientific Computing, vol.26, issue.6, pp.2066-2078, 2005.
DOI : 10.1137/030602009
URL : https://hal.archives-ouvertes.fr/inria-00143168