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
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
IEEE Standard for Floating-Point Arithmetic, IEEE Standard, vol.754, 2008. ,
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
Handbook of Floating-Point Arithmetic, BirkhäuserBirkh¨Birkhäuser Boston. ACM G, 2010. ,
URL : https://hal.archives-ouvertes.fr/ensl-00379167
Accurate sum and dot product, SIAM Journal on Scientific Computing, vol.26, issue.6, pp.1955-1988, 2005. ,