, IBM accurate portable mathematical library

, LIBULTIM sun freely distributed mathematical library

, MPFR, the Multiprecision Precision Floating-Point Reliable library

, Open source from Intel

, Software Carry-Save multiprecision mibrary, SCS

. Amd and . Amd, Athlon processor x86 code optimization, 2001.

M. Daumas and C. Moreau-finot, Exponential: implementation trade-offs for hundred bit precision, Real Numbers and Computers, pp.61-74, 2000.

D. Defour, Cache-optimised methods for the evaluation of elementary functions, 2002.
URL : https://hal.archives-ouvertes.fr/hal-02102051

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

D. Defour and F. De-dinechin, Software carry-save for fast multiple-precision algorithms, 35th International Congress of Mathematical Software, pp.29-40, 2002.
URL : https://hal.archives-ouvertes.fr/hal-02102038

D. Defour and F. De-dinechin, Software carry-save: A case study for instruction-level parallelism, 7th conference on parallel computing technologies, 2003.

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

P. M. Farmwald, High bandwidth evaluation of elementary functions, Proceedings of the 5th IEEE Symposium on Computer Arithmetic, 1981.

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

J. Harrison, T. Kubaska, S. Story, and P. T. Tang, The computation of transcendental functions on the IA-64 architecture, Intel Technology Journal, vol.4, 1999.

, IEEE standard for binary floating-point arithmetic. ANSI/IEEE Standard, 1985.

R. Klatte, U. Kulisch, C. Lawo, M. Rauch, and A. Wiethoff, C-XSC a C++ class library for extended scientific computing, 1993.

D. Knuth, The Art of Computer Programming, Seminumerical Algorithms, vol.2, 1998.

V. Lefèvre, Moyens arithmétiques pour un calcul fiable, 2000.

V. Lefèvre, J. M. Muller, and A. Tisserand, Towards correctly rounded transcendentals, IEEE Transactions on Computers, vol.47, issue.11, pp.1235-1243, 1998.

R. Li, P. Markstein, J. P. Okada, and J. W. Thomas, The libm library and floating-point arithmetic for HP-UX on Itanium, 2001.

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

R. E. Moore, Interval Analysis, 1963.

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

P. H. Sterbenz, Floating point computation, 1974.

P. T. Tang, Table lookup algorithms for elementary functions and their error analysis, Proceedings of the 10th IEEE Symposium on Computer Arithmetic, pp.232-236, 1991.

A. Ziv, Fast evaluation of elementary mathematical functions with correctly rounded last bit, ACM Transactions on Mathematical Software, vol.17, issue.3, pp.410-423, 1991.