M. Daumas and G. Melquiond, Certification of bounds on expressions involving rounded operators, ACM Transactions on Mathematical Software, vol.37, issue.1, 2009.
DOI : 10.1145/1644001.1644003
URL : https://hal.archives-ouvertes.fr/hal-00127769

M. D. Ercegovac and T. Lang, Digital Arithmetic, 2004.
URL : https://hal.archives-ouvertes.fr/ensl-00542215

L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, 2007.
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00070266

C. Iordache and D. W. Matula, On infinitely precise rounding for division, square root, reciprocal and square root reciprocal, Proceedings 14th IEEE Symposium on Computer Arithmetic (Cat. No.99CB36336), pp.233-240, 1999.
DOI : 10.1109/ARITH.1999.762849

C. Jeannerod, H. Knochel, C. Monat, and G. Revy, Computing Floating-Point Square Roots via Bivariate Polynomial Evaluation, IEEE Transactions on Computers, vol.60, issue.2, 2008.
DOI : 10.1109/TC.2010.152
URL : https://hal.archives-ouvertes.fr/ensl-00559236

J. Piñeiro and J. D. Bruguera, High-speed doubleprecision computation of reciprocal, division, square root and inverse square root, IEEE TC, issue.12, pp.511377-1388, 2002.

S. Raina, FLIP: a Floating-point Library for Integer Processors, 2006.

G. Revy, CGPE -Code Generation for Polynomial Evaluation

M. J. Schulte and K. E. Wires, High-speed inverse square roots, Proceedings 14th IEEE Symposium on Computer Arithmetic (Cat. No.99CB36336), pp.124-131, 1999.
DOI : 10.1109/ARITH.1999.762837

P. Zimmermann, Implementation of the reciprocal square root in MPFR, Numerical Validation in Current Hardware Architectures, number 08021 in Dagstuhl Seminar Proceedings, 2008.