,
Standard 754-1985 for binary floating-point arithmetic, 1985. ,
Exponential: implementation trade-offs for hundred bit precision, Real Numbers and Computers, pp.61-74, 2000. ,
Fast correct rounding of elementary functions in double precision using double-extended arithmetic ,
URL : https://hal.archives-ouvertes.fr/inria-00071446
A proven correctly rounded logarithm in double-precision, Real Numbers and Computers, 2004. ,
Software carry-save for fast multiple-precision algorithms, 35th International Congress of Mathematical Software, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-02102038
Proposal for a standardization of mathematical functions, Numerical algorihms, 2004. ,
A floating point technique for extending the available precision, Numerische Mathematik, vol.18, issue.3, pp.224-242, 1971. ,
High bandwidth evaluation of elementary functions, Proceedings of the 5th IEEE Symposium on Computer Arithmetic, 1981. ,
Computing elementary functions: A new approach for achieving high accuracy and good performance, Accurate Scientific Computations, vol.235, pp.1-16 ,
The computation of transcendental functions on the IA-64 architecture, Intel Technology Journal, vol.4, 1999. ,
C-XSC a C++ class library for extended scientific computing, 1993. ,
The Art of Computer Programming, vol.2, 1973. ,
Worst cases for correct rounding of the elementary functions in double precision, 2004. ,
The libm library and floatingpoint arithmetic for HP-UX on Itanium, 2001. ,
,
IA-64 and Elementary Functions : Speed and Precision. Hewlett-Packard Professional Books, p.130183482, 2000. ,
A fast quad precision elementary function library for Itanium, Real Numbers and Computers, pp.5-12, 2003. ,
Interval analysis, 1966. ,
Elementary Functions, Algorithms and Implementation, 1997. ,
URL : https://hal.archives-ouvertes.fr/ensl-00000008
Table-driven implementation of the exponential function in IEEE floatingpoint arithmetic, ACM Transactions on Mathematical Software, vol.15, issue.2, pp.144-157, 1989. ,
Table lookup algorithms for elementary functions and their error analysis, Proceedings of the 10th IEEE Symposium on Computer Arithmetic, pp.232-236, 1991. ,
, 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 ,