,
Standard 754-1985 for binary floating-point arithmetic (also iec 60559), 1985. ,
Fast correct rounding of elementary functions in double precision using double-extended arithmetic, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00071446
FonctionsélémentairesFonctionsélémentaires: algorithmes et implémentations efficaces pour l'arrondi correct en double précision, 2003. ,
A floating point technique for extending the available precision, Numerische Mathematik, vol.18, issue.3, pp.224-242, 1971. ,
Preuves et algorithmes utilisant l'arithmétique flottante normalisée IEEE, 2001. ,
Elementary Functions, Algorithms and Implementation, 1997. ,
URL : https://hal.archives-ouvertes.fr/ensl-00000008
On the definition of ulp(x), INRIA, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00070503
Algorithms for arbitrary precision floating point arithmetic, Proceedings of the 10th IEEE Symposium on Computer Arithmetic (Arith-10), pp.132-144, 1991. ,
Adaptive precision floating-point arithmetic and fast robust geometric predicates, Discrete and Computational Geometry, vol.18, pp.305-363, 1997. ,
Floating point computation, RR n Unité de recherche INRIA, 1974. ,
, Parc Club Orsay Université -ZAC des Vignes 4, rue Jacques Monod -91893 ORSAY Cedex
LORIA, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 ,
,
, 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