, 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.
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
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. ,
A logarithm too clever by half, 2004. ,
IA-64 and Elementary Functions : Speed and Precision. Hewlett-Packard Professional Books, p.130183482, 2000. ,
Elementary Functions, Algorithms and Implementation, 1997. ,
URL : https://hal.archives-ouvertes.fr/ensl-00000008
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. ,
LORIA, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 ,