Elementary Functions: Algorithms and Implementation, 2006. ,
URL : https://hal.archives-ouvertes.fr/ensl-00000008
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
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
The maple computer algebra ,
Accuracy and Stability of Numerical Algorithms, 2002. ,
DOI : 10.1137/1.9780898718027
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
GAPPA: génération automatique de preuves de propriétés arithmétiques, 2006. ,
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