S. Boldo, M. Daumas, and T. J. Dekker, Representable correcting terms for possibly underflowing floating point operations A floating-point technique for extending the available precision, Proceedings of the 16th Symposium on Computer Arithmetic, pp.79-86, 1971.

J. Demmel and H. D. Nguyen, Fast Reproducible Floating-Point Summation, 2013 IEEE 21st Symposium on Computer Arithmetic, pp.163-172, 2013.
DOI : 10.1109/ARITH.2013.9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.6586

S. Graillat, F. Jézéquel, and R. Picot, Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic, Electronic Notes in Theoretical Computer Science, vol.317, pp.55-69, 2015.
DOI : 10.1016/j.entcs.2015.10.007
URL : https://hal.archives-ouvertes.fr/hal-01230860

. Doi, The Seventh and Eighth International Workshops on Numerical Software Verification (NSV)

S. Graillat, P. Langlois, and N. Louvet, Algorithms for accurate, validated and fast computations with polynomials, Japan Journal of Industrial and Applied Mathematics, vol.26, issue.2, pp.215-231, 2009.
DOI : 10.1007/bf03186531
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.329.3977

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

X. S. Hida, D. H. Li, and . Bailey, Algorithms for quad-double precision floating point arithmetic, Proceedings 15th IEEE Symposium on Computer Arithmetic. ARITH-15 2001, pp.155-162930115, 2001.
DOI : 10.1109/ARITH.2001.930115
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.6352

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

. Knuth, The Art of Computer Programming, 1998.

W. Kulisch, An axiomatic approach to rounded computations, Numerische Mathematik, vol.10, issue.1, pp.1-17, 1971.
DOI : 10.1007/BF01398455

E. Martin-dorel, G. Melquiond, and J. Muller, Some issues related to double rounding, BIT Numerical Mathematics, vol.18, issue.2, pp.897-924, 2013.
DOI : 10.1007/s10543-013-0436-2

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

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

A. Neumaier, Rundungsfehleranalyse einiger Verfahren zur Summation endlicher Summen, ZAMM - Zeitschrift f??r Angewandte Mathematik und Mechanik, vol.50, issue.1, pp.39-51, 1974.
DOI : 10.1002/zamm.19740540106

D. M. Priest, Algorithms for arbitrary precision floating point arithmetic, [1991] Proceedings 10th IEEE Symposium on Computer Arithmetic, pp.132-144, 1991.
DOI : 10.1109/ARITH.1991.145549
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.3546

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

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

M. Rump, T. Ogita, and S. Oishi, -Fold Faithful and Rounding to Nearest, SIAM Journal on Scientific Computing, vol.31, issue.2, pp.1269-1302, 2008.
DOI : 10.1137/07068816X
URL : https://hal.archives-ouvertes.fr/hal-00261004

J. R. Shewchuk, Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates, Discrete & Computational Geometry, vol.18, issue.3, pp.305-363, 1974.
DOI : 10.1007/PL00009321