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

M. Abramowitz and I. A. Stegun, Handbook of mathematical functions, ser. Applied Math. Series 55, National Bureau of Standards, 1964.

N. Kapre and A. Dehon, Accelerating SPICE Model-Evaluation using FPGAs, 2009 17th IEEE Symposium on Field Programmable Custom Computing Machines, pp.37-44, 2009.
DOI : 10.1109/FCCM.2009.14

V. Innocente, Floating point in experimental HEP data processing, 2nd CERN Openlab/INTEL Workshop on Numerical Computing, 2012.

P. Danilo, The VDT mathematical library, 2nd CERN Openlab/IN- TEL Workshop on Numerical Computing, 2012.

J. Apostolakis, A. Buckley, A. Dotti, Z. Marshall, /. Ph et al., Final report of the ATLAS detector simulation performance assessment group, 2010.

G. Paul and M. W. Wilson, Should the Elementary Function Library Be Incorporated Into Computer Instruction Sets?, ACM Transactions on Mathematical Software, vol.2, issue.2, pp.132-142, 1976.
DOI : 10.1145/355681.355684

P. T. Tang, Table-driven implementation of the exponential function in IEEE floating-point arithmetic, ACM Transactions on Mathematical Software, vol.15, issue.2, pp.144-157, 1989.
DOI : 10.1145/63522.214389

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

P. Markstein, IA-64 and Elementary Functions: Speed and Precision, ser. Hewlett-Packard Professional Books, 2000.

M. Cornea, J. Harrison, and P. T. Tang, Scientific Computing on Itanium R -based Systems, 2002.

P. Markstein, Accelerating sine and cosine evaluation with compiler assistance, 16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings., pp.137-140, 2003.
DOI : 10.1109/ARITH.2003.1207671

R. M. Loosemore, The GNU C Library Reference Manual

A. Ziv, Fast evaluation of elementary mathematical functions with correctly rounded last bit, ACM Transactions on Mathematical Software, vol.17, issue.3, pp.410-423, 1991.
DOI : 10.1145/114697.116813

F. De-dinechin, C. Q. Lauter, and G. Melquiond, Certifying the Floating-Point Implementation of an Elementary Function Using Gappa, IEEE Transactions on Computers, vol.60, issue.2, pp.242-253, 2011.
DOI : 10.1109/TC.2010.128

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

R. C. Whaley and A. Petitet, Minimizing development and maintenance costs in supporting persistently optimized BLAS Software: Practice and Experience, pp.101-121, 2005.

M. Frigo and S. G. Johnson, The Design and Implementation of FFTW3, Program Generation, Optimization, and Platform Adaptation, pp.216-231, 2005.
DOI : 10.1109/JPROC.2004.840301

N. Johnson and . Rizzolo, SPIRAL: Code generation for DSP transforms Proceedings of the IEEE, special issue on " Program Generation, Optimization, and Adaptation, pp.232-275, 2005.

N. Brisebarre and S. Chevillard, Efficient polynomial lapproximations, 18th IEEE Symposium on Computer Arithmetic, pp.25-27, 2007.

D. Lee, P. Cheung, W. Luk, and J. Villasenor, Hierarchical segmentation schemes for function evaluation, Proceedings. 2003 IEEE International Conference on Field-Programmable Technology (FPT) (IEEE Cat. No.03EX798), 2009.
DOI : 10.1109/FPT.2003.1275736

O. Kupriianova and C. Q. Lauter, A domain splitting algorithm for the mathematical functions code generator. to appear, 2014 Asilomar Conference on Signals, Systems and Computers, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01118915

P. P. Tang, Table-driven implementation of the exponential function in IEEE floating-point arithmetic, ACM Transactions on Mathematical Software, vol.15, issue.2, pp.144-157, 1989.
DOI : 10.1145/63522.214389

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. Chevillard, M. Joldes¸, C. Joldes¸, and . 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

S. Chevillard, M. Joldes, and C. Q. Lauter, Certified and Fast Computation of Supremum Norms of Approximation Errors, 2009 19th IEEE Symposium on Computer Arithmetic, pp.9-10, 2009.
DOI : 10.1109/ARITH.2009.18

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

O. Kupriianova and C. Lauter, Replacing Branches by Polynomials in Vectorizable Elementary Functions, Book of abstracts for 16th GAMM-IMACS International Symposium on Scientific Computing, 2014.
DOI : 10.1007/978-3-319-31769-4_2

C. Mouilleron and G. Revy, Automatic Generation of Fast and Certified Code for Polynomial Evaluation Accurate math functions on the Intel IA-32 architecture: A performance-driven design, 20th IEEE Symposium on Computer Arithmetic (ARITH) 7th Conference on Real Numbers and Computers, pp.233-242, 2006.