, American National Standards Institute and Institute of Electrical and Electronic Engineers. IEEE standard for binary floating-point arithmetic. ANSI/IEEE Standard, pp.754-1985, 1985.

, 754 R committee. DRAFT standard for floating-point arithmetic p754 d0.6.5, 2004.

D. Goldberg, What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-47, 1991.
DOI : 10.1145/103162.103163

J. Harrison, A machine-checked theory of floating-point arithmetic, Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, vol.1690, pp.113-130, 1999.

W. Kahan, A logarithm too clever by half, 2004.

P. Markstein, IA-64 and Elementary Functions : Speed and Precision. Hewlett-Packard Professional Books, p.130183482, 2000.

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

M. A. Overton, Numerical Computing with IEEE Floating-Point Arithmetic. SIAM, Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4, rue Jacques Monod -91893 ORSAY Cedex, 2001.

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