Modern Computer Arithmetic. No. 18 in Cambridge Monographs on Applied and Computational Mathematics, 2010. ,
Towards the postultimate libm, Proceedings of the 17th IEEE Symposium on Computer Arithmetic ARITH'17, pp.288-295, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00070636
MPFR: A multiple-precision binary floating-point library with correct rounding, ACM Trans. Math. Softw, vol.33, issue.2, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00070266
Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic, Special Issue: 8th Conference on Real Numbers and Computers, pp.57-71, 2012. ,
The GNU Multiple Precision Arithmetic Library ,
High-precision division and square root, ACM Trans. Math. Softw, vol.23, issue.4, pp.561-589, 1997. ,
Interval arithmetic in modern C++ ,
Improved division by invariant integers, IEEE Trans. Comput, vol.60, issue.2, pp.165-175, 2011. ,
Motivations for an arbitrary precision interval arithmetic and the MPFI library, Reliable Computing, pp.23-25, 2002. ,