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

M. Cornea, J. Harrison, P. T. , and P. Tang, Scientific Computing on Itanium-Based Systems, 2002.

M. Cornea-hasegan, Proving the IEEE correctness of iterative floating-point square root, divide, and remainder algorithms, Intel Technology Journal, p.11, 1998.

R. E. Goldschmidt, Applications of division by convergence Master's thesis, 1964.

J. Harrison, Formal Verification of IA-64 Division Algorithms, Theorem Proving in Higher Order Logics: 13th International Conference, pp.234-251, 2000.
DOI : 10.1007/3-540-44659-1_15

P. 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. Markstein, IA-64 and elementary functions: speed and precision. Hewlett-Packard professional books, 2000.

J. Muller, N. Brisebarre, C. Florent-de-dinechin, V. Jeannerod, G. Lefèvre et al., Handbook of Floating-Point Arithmetic, Birkhäuser Boston, 2010.
DOI : 10.1007/978-0-8176-4705-6
URL : https://hal.archives-ouvertes.fr/ensl-00379167

S. M. Rump, T. Ogita, and S. Oishi, Accurate Floating-Point Summation Part I: Faithful Rounding, SIAM Journal on Scientific Computing, vol.31, issue.1, pp.189-224, 2008.
DOI : 10.1137/050645671

K. Liang, M. J. Wang, and . Schulte, A decimal floating-point divider using Newton-Raphson iteration, J. VLSI Signal Process. Syst, vol.49, issue.1, pp.3-18, 2007.