M. A. Cornea-hasegan, R. A. Golliver, and E. 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

M. Daumas, Multiplications of floating point expansions, Proceedings 14th IEEE Symposium on Computer Arithmetic (Cat. No.99CB36336), pp.250-257, 1999.
DOI : 10.1109/ARITH.1999.762851

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

W. M. Gentleman and S. B. Marovitch, More on algorithms that reveal properties of floating point arithmetic units, Communications of the ACM, vol.17, issue.5, pp.276-277, 1974.
DOI : 10.1145/360980.361003

W. Kahan, What can you learn about floating-point arithmetic in one hour? file cs267fp.ps. Version PostScript accessible électroniquement à http, 1996.

V. Lefèvre, J. Muller, and E. A. Tisserand, Toward correctly rounded transcendentals, IEEE Transactions on Computers, issue.11, p.47, 1998.

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

S. F. Oberman, Floating point division and square root algorithms and implementation in the AMD-K7/sup TM/ microprocessor, Proceedings 14th IEEE Symposium on Computer Arithmetic (Cat. No.99CB36336), pp.106-115, 1999.
DOI : 10.1109/ARITH.1999.762835

D. M. Priest, Algorithms for arbitrary precision floating point arithmetic, [1991] Proceedings 10th IEEE Symposium on Computer Arithmetic, pp.132-144, 1991.
DOI : 10.1109/ARITH.1991.145549

J. R. Shewchuk, Robust adaptive floating-point geometric predicates, Proceedings of the twelfth annual symposium on Computational geometry , SCG '96, pp.141-150, 1996.
DOI : 10.1145/237218.237337

I. Unité-de-recherche, . Lorraine, V. Technopôle-de-nancy-brabois, I. Unité-de-recherche, and . Rennes, Campus scientifique, 615 rue du Jardin Botanique Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, p.78153, 2004.