S. Boldo and G. And-melquiond, Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd, IEEE Transactions on Computers, vol.57, issue.4, pp.462-471, 2008.
DOI : 10.1109/TC.2007.70819

URL : https://hal.archives-ouvertes.fr/inria-00080427

D. Dinechin, F. Ershov, A. V. And-gast, and N. , Towards the Post-Ultimate libm, 17th IEEE Symposium on Computer Arithmetic (ARITH'05), pp.288-295, 2005.
DOI : 10.1109/ARITH.2005.46

URL : https://hal.archives-ouvertes.fr/inria-00070636

I. Computer and S. , IEEE Standard for Floating-Point Arithmetic, IEEE Standard, vol.754, 2008.

J. , C. Louvet, N. Muller, J. And-panhaleux, and A. , Midpoints and exact points of some algebraic functions in floating-point arithmetic, IEEE Transactions on Computers, vol.60, issue.2, 2011.
URL : https://hal.archives-ouvertes.fr/ensl-00409366

M. , J. Brisebarre, N. De-dinechin, F. Jeannerod, C. Lef-`-evrelef-`-lef-`-evre et al., Handbook of Floating-Point Arithmetic, BirkhäuserBirkh¨Birkhäuser Boston. ACM G, 2010.
URL : https://hal.archives-ouvertes.fr/ensl-00379167

O. , T. Rump, S. M. And-oishi, and S. , Accurate sum and dot product, SIAM Journal on Scientific Computing, vol.26, issue.6, pp.1955-1988, 2005.