S. Graillat, Accurate Floating-Point Product and Exponentiation, IEEE Transactions on Computers, vol.58, issue.7, pp.994-1000, 2009.
DOI : 10.1109/TC.2008.215

URL : https://hal.archives-ouvertes.fr/hal-00164607

N. J. Higham, Accuracy and Stability of Numerical Algorithms, SIAM, 2002.
DOI : 10.1137/1.9780898718027

C. Jeannerod and S. M. Rump, On relative errors of floating-point operations: Optimal bounds and applications, Mathematics of Computation
DOI : 10.1090/mcom/3234

URL : https://hal.archives-ouvertes.fr/hal-00934443

C. Jeannerod and S. M. Rump, Improved Error Bounds for Inner Products in Floating-Point Arithmetic, SIAM Journal on Matrix Analysis and Applications, vol.34, issue.2, pp.338-344, 2013.
DOI : 10.1137/120894488

URL : https://hal.archives-ouvertes.fr/hal-00840926

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

N. Revol and F. Rouillier, MPFI (Multiple Precision Floating-point Interval library), 2009.

S. M. Rump, Error estimation of floating-point summation and dot product, BIT Numerical Mathematics, vol.11, issue.3, pp.201-220, 2012.
DOI : 10.1007/s10543-011-0342-4