G. Bohlender, P. Kornerup, D. W. Matula, and W. Walter, Semantics for exact floating point operations, [1991] Proceedings 10th IEEE Symposium on Computer Arithmetic, pp.22-26, 1991.
DOI : 10.1109/ARITH.1991.145529

S. Boldo and M. Daumas, Representable correcting terms for possibly underflowing floating point operations, 16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings., pp.79-86, 2003.
DOI : 10.1109/ARITH.2003.1207663

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.
DOI : 10.1109/TC.2004.37

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.
DOI : 10.1145/168173.168185

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.
DOI : 10.1109/MM.1984.291224

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 14th IEEE Symposium on Computer Arithmetic (Cat. No.99CB36336), pp.96-105, 1999.
DOI : 10.1109/ARITH.1999.762834

D. Defour, P. Kornerup, J. Muller, and N. , A new range reduction algorithm, Conference Record of Thirty-Fifth Asilomar Conference on Signals, Systems and Computers (Cat.No.01CH37256), 2001.
DOI : 10.1109/ACSSC.2001.987766

URL : https://hal.archives-ouvertes.fr/ensl-00086904

T. J. Dekker, A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971.
DOI : 10.1007/BF01397083

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, pp.113-130, 1999.
DOI : 10.1007/3-540-48256-3_9

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

R. Li, S. Boldo, and M. Daumas, Theorems on efficient argument reductions, 16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings., pp.129-136, 2003.
DOI : 10.1109/ARITH.2003.1207670

URL : https://hal.archives-ouvertes.fr/hal-00156244

P. Markstein, IA-64 and Elementary Functions : Speed and Precision. Hewlett-Packard Professional Books, 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.
DOI : 10.1147/rd.341.0111

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