N. Brunie, Contributions to computer arithmetic and applications to embedded systems, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01078204

N. Brunie, F. De-dinechin, O. Kupriianova, and C. Lauter, Code Generators for Mathematical Functions, 2015 IEEE 22nd Symposium on Computer Arithmetic, 2015.
DOI : 10.1109/ARITH.2015.22

URL : https://hal.archives-ouvertes.fr/hal-01084726

, IEEE standard for floating-point arithmetic, IEEE Std, pp.754-2008, 2008.

D. Piparo, V. Innocente, and T. Hauth, Speeding up HEP experiment software with a library of fast and auto-vectorisable mathematical functions, Journal of Physics: Conference Series, vol.513, issue.5, p.7, 2014.
DOI : 10.1088/1742-6596/513/5/052027

URL : https://hal.archives-ouvertes.fr/hal-01116217

C. Lauter, A new open-source SIMD vector libm fully implemented with high-level scalar C, 2016 50th Asilomar Conference on Signals, Systems and Computers, pp.407-411, 2016.
DOI : 10.1109/ACSSC.2016.7869070

URL : https://hal.archives-ouvertes.fr/hal-01511131

P. T. Tang, Table-driven implementation of the logarithm function in IEEE floating-point arithmetic, ACM Transactions on Mathematical Software, vol.16, issue.4, pp.378-400, 1990.
DOI : 10.1145/98267.98294

S. Gal, Computing elementary functions: A new approach for achieving high accuracy and good performance, Proceedings of the Symposium on Accurate Scientific Computations, pp.1-16, 1986.
DOI : 10.1007/3-540-16798-6_1

S. Gal and B. Bachelis, An accurate elementary mathematical library for the IEEE floating point standard, ACM Transactions on Mathematical Software, vol.17, issue.1, pp.26-45, 1991.
DOI : 10.1145/103147.103151

W. F. Wong and E. Goto, Fast evaluation of the elementary functions in double precision, Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences HICSS-94, pp.349-358, 1994.
DOI : 10.1109/HICSS.1994.323158

, Fast hardware-based algorithms for elementary function computations using rectangular multipliers, pp.278-294, 1994.

, Fast evaluation of the elementary functions in single precision, IEEE Transactions on Computers, vol.44, issue.3, pp.453-457, 1995.

M. Schulte and E. Swartzlander, Exact rounding of certain elementary functions, Proceedings of IEEE 11th Symposium on Computer Arithmetic, pp.138-145, 1993.
DOI : 10.1109/ARITH.1993.378099

G. Revy, Automated Design of Floating-Point Logarithm Functions on Integer Processors, 2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH), 2016.
DOI : 10.1109/ARITH.2016.28

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

C. Lauter, Arrondi correct de fonctions mathématiques -fonctions univariées et bivariées, certification et automatisation, 2008.

F. De-dinechin, C. Lauter, and J. Muller, Fast and correctly rounded logarithms in double-precision, Theoretical Informatics and Applications, pp.85-102, 2007.
DOI : 10.1145/114697.116813

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

J. Muller, On the definition of ulp(x), 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070503

H. De-lassus-saint-geniès and G. Revy, Performances de schémas d'évaluation polynomiale sur architectures vectorielles, ComPAS: Conférence en Parallélisme, 2016.

H. S. Jr, Hacker's Delight, 2003.

S. Chevillard, M. Jolde¸sjolde¸s, and C. Lauter, Sollya: An Environment for the Development of Numerical Codes, Lecture Notes in Computer Science, K. Fukuda, J. van der Hoeven, vol.6327, pp.28-31, 2010.
DOI : 10.1007/978-3-642-15582-6_5

URL : https://hal.archives-ouvertes.fr/hal-00761644

C. Mouilleron and G. Revy, Automatic Generation of Fast and Certified Code for Polynomial Evaluation, 2011 IEEE 20th Symposium on Computer Arithmetic, pp.233-242, 2011.
DOI : 10.1109/ARITH.2011.39

URL : https://hal.archives-ouvertes.fr/ensl-00531721

G. Melquiond, De l'arithmétique d'intervalles à la certification de programmes, 2006.

C. Lauter, Basic building blocks for a triple-double intermediate format, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070314

D. Piparo, The VDT Mathematical Library, 2nd CERN Openlab/IN- TEL Workshop on Numerical Computing, 2012.

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-00103655