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

M. D. Ercegovac, J. Muller, and A. Tisserand, Simple Seed Architectures for Reciprocal and Square Root Reciprocal, Conference Record of the Thirty-Ninth Asilomar Conference onSignals, Systems and Computers, 2005., pp.1167-1171, 2005.
DOI : 10.1109/ACSSC.2005.1599944

URL : https://hal.archives-ouvertes.fr/inria-00070298

A. Tisserand, High-performance hardware operators for polynomial evaluation, International Journal of High Performance Systems Architecture, vol.1, issue.1, pp.14-23, 2007.
DOI : 10.1504/IJHPSA.2007.013288

URL : https://hal.archives-ouvertes.fr/lirmm-00140930

. Maplesoft, The maple computer algebra

N. J. Higham, Accuracy and Stability of Numerical Algorithms, 2002.
DOI : 10.1137/1.9780898718027

D. Ménard and O. Sentieys, Automatic evaluation of the accuracy of fixed-point algorithms, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition, pp.529-537, 2002.
DOI : 10.1109/DATE.2002.998351

G. Melquiond, GAPPA: génération automatique de preuves de propriétés arithmétiques, 2006.

M. Ito, N. Takagi, and S. Yajima, Efficient initial approximation for multiplicative division and square root by a multiplication with operand modification, IEEE Transactions on Computers, vol.46, issue.4, pp.495-498, 1997.
DOI : 10.1109/12.588066