, 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.

G. Bohlender, P. Kornerup, D. W. Matula, and W. Walter, Semantics for exact floating-point operations, Proceedings of the 10th IEEE Symposium on Computer Arithmetic, pp.22-26, 1991.

S. Boldo and M. Daumas, Representable correcting terms for possibly underflowing floating point operations, Proceedings of the 16th Symposium on Computer Arithmetic, pp.79-86, 2003.

N. Brisebarre, J. Muller, and S. Raina, Accelerating correctly rounded floating-point division when the divisor is known in advance, IEEE Transactions on Computers, vol.53, issue.8, pp.1069-1072, 2004.

W. J. Cody and J. T. Coonen, Algorithm 722: Functions to support the IEEE standard for binary floating-point arithmetic, ACM Transactions on Mathematical Software, vol.19, issue.4, pp.443-451, 1993.

W. J. Cody, J. T. Coonen, D. M. Gay, K. Hanson, D. Hough et al., A proposed radix-and-word-length-independent standard for floating-point arithmetic, IEEE MICRO, vol.4, issue.4, pp.86-100, 1984.

M. A. Cornea-hasegan, R. A. Golliver, and P. Markstein, Correctness proofs outline for newton-raphson based floating-point divide and square root algorithms, Proceedings of the 14th IEEE Symposium on Computer Arithmetic (Adelaide, Australia), pp.96-105, 1999.

D. Defour, P. Kornerup, J. Muller, and N. Revol, A new range reduction algorithm, Proc. 35th Asilomar Conference on Signals, Systems, and, 2001.
DOI : 10.1109/acssc.2001.987766
URL : https://hal.archives-ouvertes.fr/inria-00072320

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

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.

, Ieee standard for radix independent floating-point arithmetic. ANSI/IEEE Standard, pp.854-1987, 1987.

A. H. Karp and P. Markstein, High-precision division and square root, ACM Transactions on Mathematical Software, vol.23, issue.4, pp.561-589, 1997.
DOI : 10.1145/279232.279237

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

R. Li, S. Boldo, and M. Daumas, Theorems on efficient argument reduction, Proceedings of the 16th IEEE Symposium on Computer Arithmetic (ARITH16), pp.129-136, 2003.
DOI : 10.1109/arith.2003.1207670
URL : https://hal.archives-ouvertes.fr/hal-00156244/file/LiBolDau03.pdf

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

P. W. Markstein, Computation of elementary functions on the IBM risc system/6000 processor, IBM Journal of Research and Development, vol.34, issue.1, pp.111-119, 1990.

. Møller, Quasi double-precision in floating-point addition, BIT, vol.5, pp.37-50, 1965.

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