O. Kupriianova and C. Q. Lauter, Metalibm: A Mathematical Functions Code Generator, Mathematical Software -ICMS 2014 -4th International Congress, pp.713-717, 2014.
DOI : 10.1007/978-3-662-44199-2_106

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

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

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

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

E. Remez, Sur un procédé convergent d'approximations successives pour déterminer les polynômes d'approximation, Académie des Sciences, 1934.

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

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

E. W. Cheney and N. Y. Chelsea, Introduction to approximation theory, Evaluation efficace de fonctions numériques ? Outils et exemples, 1982.

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