. Cr-libm,

. Ansi/ieee, Standard 754-1985 for binary floating-point arithmetic (also iec 60559), 1985.

F. De-dinechin, D. Defour, and C. Lauter, Fast correct rounding of elementary functions in double precision using double-extended arithmetic, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00071446

D. Defour, FonctionsélémentairesFonctionsélémentaires: algorithmes et implémentations efficaces pour l'arrondi correct en double précision, 2003.

J. Theodorus and . Dekker, A floating point technique for extending the available precision, Numerische Mathematik, vol.18, issue.3, pp.224-242, 1971.

C. Finot-moreau, Preuves et algorithmes utilisant l'arithmétique flottante normalisée IEEE, 2001.

J. Muller, Elementary Functions, Algorithms and Implementation, 1997.
URL : https://hal.archives-ouvertes.fr/ensl-00000008

J. Muller, On the definition of ulp(x), INRIA, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070503

D. M. Priest, Algorithms for arbitrary precision floating point arithmetic, Proceedings of the 10th IEEE Symposium on Computer Arithmetic (Arith-10), pp.132-144, 1991.

J. R. Shewchuk, Adaptive precision floating-point arithmetic and fast robust geometric predicates, Discrete and Computational Geometry, vol.18, pp.305-363, 1997.

P. H. Sterbenz, Floating point computation, RR n Unité de recherche INRIA, 1974.

. Unité-de-recherche-inria-futurs, Parc Club Orsay Université -ZAC des Vignes 4, rue Jacques Monod -91893 ORSAY Cedex

. Unité-de-recherche-inria-lorraine, LORIA, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602

. Unité-de-recherche-inria-rennes,

. Unité-de-recherche-inria-rocquencourt, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex (France) Éditeur INRIA -Domaine de Voluceau -Rocquencourt