, Contributions to computer arithmetic and applications to embedded systems, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01078204
, 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.
, 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
, 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
, 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
, 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
, 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
, 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.
, Exact rounding of certain elementary functions, Proceedings of IEEE 11th Symposium on Computer Arithmetic, pp.138-145, 1993.
DOI : 10.1109/ARITH.1993.378099
, 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
, Arrondi correct de fonctions mathématiques -fonctions univariées et bivariées, certification et automatisation, 2008.
, 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
, On the definition of ulp(x), 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070503
, Performances de schémas d'évaluation polynomiale sur architectures vectorielles, ComPAS: Conférence en Parallélisme, 2016.
, Hacker's Delight, 2003.
, 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
, 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
, De l'arithmétique d'intervalles à la certification de programmes, 2006.
, Basic building blocks for a triple-double intermediate format, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070314
, The VDT Mathematical Library, 2nd CERN Openlab/IN- TEL Workshop on Numerical Computing, 2012.
, MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, 2007.
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00103655