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
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
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
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
Sur un procédé convergent d'approximations successives pour déterminer les polynômes d'approximation, Académie des Sciences, 1934. ,
Efficient polynomial lapproximations, 18th IEEE Symposium on Computer Arithmetic, pp.25-27, 2007. ,
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
Introduction to approximation theory, Evaluation efficace de fonctions numériques ? Outils et exemples, 1982. ,
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