P. Kornerup, V. Lefèvre, N. Louvet, and J. Muller, On the computation of correctly-rounded sums, INRIA, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00475279

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-00103655

V. Lefèvre, SIPE: Small Integer Plus Exponent, 2013 IEEE 21st Symposium on Computer Arithmetic, 2013.
DOI : 10.1109/ARITH.2013.22

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

G. W. Veltkamp, ALGOL procedures voor het berekenen van een inwendig product in dubbele precisie, RC-Informatie, 1968.

S. Boldo and G. Melquiond, Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd, IEEE Transactions on Computers, vol.57, issue.4, p.70819, 2007.
DOI : 10.1109/TC.2007.70819
URL : https://hal.archives-ouvertes.fr/inria-00080427

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

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

V. Lefèvre, SIPE: Small Integer Plus Exponent, 2013 IEEE 21st Symposium on Computer Arithmetic, 2011.
DOI : 10.1109/ARITH.2013.22

P. Kornerup, C. Lauter, V. Lefèvre, N. Louvet, and J. Muller, Computing correctly rounded integer powers in floating-point arithmetic, ACM Transactions on Mathematical Software, vol.37, issue.1, 2010.
DOI : 10.1145/1644001.1644005
URL : https://hal.archives-ouvertes.fr/ensl-00278430