B. , R. P. And-zimmermann, and P. , Modern Computer Arithmetic. No. 18 in Cambridge Monographs on Applied and Computational Mathematics, 2010.

D. Dinechin, F. Ershov, A. V. And-gast, and N. , 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

F. , L. Hanrot, G. Lefèvre, V. Pélissier, P. And-zimmer-mann et al., 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

G. , S. And-ménissier-morain, and V. , 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.

G. , T. And, . Gmp, . Team, . Gnu et al., The GNU Multiple Precision Arithmetic Library

K. , A. H. And-markstein, and P. , High-precision division and square root, ACM Trans. Math. Softw, vol.23, issue.4, pp.561-589, 1997.

M. and W. Moore, Interval arithmetic in modern C++

M. , N. And-granlund, and T. , Improved division by invariant integers, IEEE Trans. Comput, vol.60, issue.2, pp.165-175, 2011.

R. , N. And-rouillier, and F. , Motivations for an arbitrary precision interval arithmetic and the MPFI library, Reliable Computing, pp.23-25, 2002.