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

K. Atkinson, An Introduction to Numerical Analysis

S. Boldo and G. Melquiond, When double rounding is odd, Proceedings of the 17th IMACS World Congress on Computational and Applied Mathematics, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070603

S. Boldo and G. Melquiond, Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd, IEEE Transactions on Computers, vol.57, issue.4, pp.462-471, 2008.
DOI : 10.1109/TC.2007.70819

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

N. Brisebarre and S. Chevillard, Efficient polynomial L-approximations, 18th IEEE Symposium on Computer Arithmetic (ARITH '07), pp.25-27, 2007.
DOI : 10.1109/ARITH.2007.17

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

N. Brisebarre, M. Mezzarobba, J. Muller, and C. Q. Lauter, Comparison between Binary64 and Decimal64 Floating-Point Numbers, 2013 IEEE 21st Symposium on Computer Arithmetic, pp.145-152, 2013.
DOI : 10.1109/ARITH.2013.23

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

N. Brisebarre and J. Muller, Correctly Rounded Multiplication by Arbitrary Precision Constants, IEEE Transactions on Computers, vol.57, issue.2, pp.165-174, 2008.
DOI : 10.1109/TC.2007.70813

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

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, pp.66-73, 2015.
DOI : 10.1109/ARITH.2015.22

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

W. Buchholz, Fingers or fists? (the choice of decimal or binary representation), Communications of the ACM, vol.2, issue.12
DOI : 10.1145/368518.368529

R. Burger and R. K. Dybvig, Printing floating-point numbers quickly and accurately, Proc. of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pp.108-116, 1996.
DOI : 10.1145/249069.231397

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.2247

P. E. Ceruzzi, The Early Computers of Konrad Zuse, 1935 to 1945, IEEE Annals of the History of Computing, vol.3, issue.3, pp.241-262, 1935.
DOI : 10.1109/MAHC.1981.10034

E. Cheney, Introduction to Approximation Theory. Numerical mathematics and scientific computation, 1982.

]. S. Chevillard, ´ Evaluation efficace de fonctions numériques ? Outils et exemples, 2009.

S. Chevillard, M. Jolde¸sjolde¸s, and C. Lauter, Sollya: An Environment for the Development of Numerical Codes, Mathematical Software -ICMS 2010, 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

S. Chevillard, C. Lauter, and M. Jolde¸sjolde¸s, User's manual for the Sollya tool

T. Coe, Inside the Pentium FDIV bug. Dr. Dobb's Journal of Software Tools, pp.129-135, 1995.

M. Cornea, J. Harrison, C. Anderson, P. T. Tang, E. Schneider et al., A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format, IEEE Transactions on Computers, vol.58, issue.2, pp.148-162, 2009.
DOI : 10.1109/TC.2008.209

M. F. Cowlishaw, M. F. Cowlishaw, E. M. Schwarz, R. M. Smith, and C. F. Webb, Decimal floating-point: Algorism for computers A decimal floating-point specification, 16th IEEE Symposium on Computer Arithmetic 15th IEEE Symposium on Computer Arithmetic, pp.15-18, 2001.

F. De-dinechin, Générateurs de code pour les fonctions mathématiques et les filtres, 2013.

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

D. Defour, FonctionsélémentairesFonctionsélémentaires: algorithmes et implémentations efficaes pour l'arrondi correct en double précision, 2003.

D. Defour, F. De-dinechin, C. Lauter, and C. , Daramy-Loirat. Crlibm, a library of correctly rounded elementary functions in double-precision

T. Dekker, A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-24272, 1971.
DOI : 10.1007/BF01397083

M. D. Ercegovac, A general method for evaluation of functions and computations in a digital computing, 1975 IEEE 3rd Symposium on Computer Arithmetic (ARITH), pp.147-157, 1975.
DOI : 10.1109/ARITH.1975.6156981

M. D. Ercegovac and T. Lang, Digital arithmetic, 2004.
URL : https://hal.archives-ouvertes.fr/ensl-00542215

L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, pp.1-13, 2007.
DOI : 10.1145/1236463.1236468

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

M. Frigo and S. G. Johnson, The Design and Implementation of FFTW3, Proceedings of the IEEE, vol.93, issue.2, pp.216-231, 2005.
DOI : 10.1109/JPROC.2004.840301

S. Gal, Computing elementary functions: A new approach for achieving high accuracy and good performance, Accurate scientific computations, 1986.
DOI : 10.1007/3-540-16798-6_1

S. Gal, 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

D. M. Gay, Correctly rounded binary-decimal and decimal-binary conversions. Numerical Analysis Manuscript 90-10, 1990.

D. Goldberg, What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-48, 1991.
DOI : 10.1145/103162.103163

M. Gouicem, Conception et implantation d'algorithmes efficaces pour la résolution du dilemme du fabricant de tables sur architecturesparalì eles, 2013.

S. Graillat and V. Ménissier-morain, Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic, Information and Computation, vol.216, pp.57-71, 2012.
DOI : 10.1016/j.ic.2011.09.003

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

N. J. Higham, Accuracy and stability of numerical algorithms, 2002.
DOI : 10.1137/1.9780898718027

I. Task and P. Ansi, Standard for Binary Floating-Point Arithmetic, pp.754-1985, 1985.

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

C. Jeannerod, N. Louvet, and J. Muller, On the Componentwise Accuracy of Complex Floating-Point Division with an FMA, 2013 IEEE 21st Symposium on Computer Arithmetic, pp.83-90, 2013.
DOI : 10.1109/ARITH.2013.8

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

W. Kahan, Why do we need a floating-point arithmetic standard University of California at Berkeley, 1981. [48] W. Kahan. A logarithm too clever by half, 2004.

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

A. Y. Khinchin, Continued Fractions [51] O. Kupriianova and C. Lauter. The libieee754 compliance library for the IEEE754-2008 Standard, 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 1997.

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

O. Kupriianova and C. Q. Lauter, A domain splitting algorithm for the mathematical functions code generator, 2014 48th Asilomar Conference on Signals, Systems and Computers, 2014.
DOI : 10.1109/ACSSC.2014.7094664

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

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

O. Kupriianova, C. Q. Lauter, and J. Muller, Radix conversion for IEEE754-2008 mixed radix floating-point arithmetic, 2013 Asilomar Conference on Signals, Systems and Computers, pp.1134-1138, 2013.
DOI : 10.1109/ACSSC.2013.6810471

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

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

C. Lauter and M. Mezzarobba, Semi-Automatic Floating-Point Implementation of Special Functions, 2015 IEEE 22nd Symposium on Computer Arithmetic, pp.58-65, 2015.
DOI : 10.1109/ARITH.2015.12

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

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

V. Lefèvre, Moyens arithmétiques pour un calcul fiable, 2000.

P. J. Lions, Ariane 5 ? flight 501 failure, Inquiry board, 1996.

N. Louvet, J. Muller, and A. Panhaleux, Newton-Raphson algorithms for floating-point division using an FMA, ASAP 2010, 21st IEEE International Conference on Application-specific Systems, Architectures and Processors, pp.7-9, 2010.
DOI : 10.1109/ASAP.2010.5540948

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

D. Matula, A Formalization of Floating-Point Numeric Base Conversion, IEEE Transactions on Computers, vol.19, issue.8, pp.681-692, 1970.
DOI : 10.1109/T-C.1970.223017

G. Melquiond, User's Guide for Gappa

J. Michael, E. E. Schulte, and . Swartzlander-jr, Exact rounding of certain elementary functions, 11th Symposium on Computer Arithmetic, pp.138-145, 1993.

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

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

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

J. Muller, N. Brisebarre, F. De-dinechin, C. Jeannerod, V. Lefèvre et al., Handbook of Floating-Point Arithmetic, Birkhäuser, 2010.
DOI : 10.1007/978-0-8176-4705-6

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

M. H. Payne and R. N. Hanek, Radian reduction for trigonometric functions, ACM SIGNUM Newsletter, vol.18, issue.1, pp.19-24, 1983.
DOI : 10.1145/1057600.1057602

D. Piparo, The VDT mathematical library, 2nd CERN Openlab/INTEL Workshop on Numerical Computing, 2012.

M. Püschel, J. M. Moura, J. Johnson, D. Padua, M. Veloso et al., SPIRAL: Code Generation for DSP Transforms, Proceedings of the IEEE, special issue on " Program Generation, Optimization, and Adaptation, pp.93232-275, 2005.
DOI : 10.1109/JPROC.2004.840306

B. Randell, From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres, and Bush, IEEE Annals of the History of Computing, vol.4, issue.4, pp.327-341, 1982.
DOI : 10.1109/MAHC.1982.10042

E. Remez and S. Shane, Sur un procédé convergent d'approximations successives pour déterminer les polynômes d'approximation Mechanism to detect IEEE under- flow exceptions on speculative floating-point operations, Académie des Sciences, p.490, 1934.

S. P. Shary, Solving the linear interval tolerance problem, Mathematics and Computers in Simulation, vol.39, issue.1-2, pp.53-85, 1995.
DOI : 10.1016/0378-4754(95)00135-K

S. P. Shary, Interval algebraic problems and their numerical solution, Novosibirsk Institute of Computational Mathematics and Mathematical Geophysics, 2000.

J. R. Shewchuk, Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates, Discrete & Computational Geometry, vol.18, issue.3, pp.305-368, 1997.
DOI : 10.1007/PL00009321

G. L. Steele-jr and J. L. White, How to print floating-point numbers accurately, Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), pp.112-126, 1990.

P. Tang, Binary-integer decimal encoding for decimal floating point, Software and Solutions Group, Intel Corporation, 2005.

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

P. T. Tang, Table-driven implementation of the Expm1 function in IEEE floating-point arithmetic, ACM Transactions on Mathematical Software, vol.18, issue.2, pp.211-222, 1992.
DOI : 10.1145/146847.146928

T. Viitanen, P. Jaaskelainen, O. Esko, and J. Takala, Simplified floating-point division and square root, 2013 IEEE International Conference on Acoustics, Speech and Signal Processing, pp.2707-2711, 2013.
DOI : 10.1109/ICASSP.2013.6638148

T. Viitanen, P. Jaaskelainen, and J. Takala, Inexpensive correctly rounded floating-point division and square root with input scaling, SiPS 2013 Proceedings, pp.159-164, 2013.
DOI : 10.1109/SiPS.2013.6674498

C. Vinschen, J. Johnston, . C. Newlib-]-r, A. Whaley, and . Petitet, Minimizing development and maintenance costs in supporting persistently optimized BLAS. Soft- ware: Practice and Experience, pp.101-121, 2005.