S. Boldo, Preuves formelles en arithmétiquesarithmétiques`arithmétiquesà virgule flottante, 2004.

M. Ceberio and V. Kreinovich, Greedy algorithms for optimizing multivariate Horner schemes, ACM SIGSAM Bulletin, vol.38, issue.1, pp.8-15, 2004.
DOI : 10.1145/980175.980179

R. C. Cheung, D. Lee, O. Mencer, W. Luk, and P. Y. Cheung, Automating custom-precision function evaluation for embedded processors, Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems , CASES '05, pp.22-31, 2005.
DOI : 10.1145/1086297.1086302

J. Eve, The evaluation of polynomials, Numerische Mathematik, vol.8, issue.1, pp.17-21, 1964.
DOI : 10.1007/BF01386049

S. R. Finch, Mathematical Constants, 1994.
DOI : 10.1017/CBO9780511550447

R. Green, Faster Math Functions, Tutorial at Game Developers Conference, 2002.

J. Harrison, T. Kubaska, S. Story, and P. Tang, The computation of transcendental functions on the IA-64 architecture, Intel Technology Journal, pp.1999-2040, 1999.

N. J. Higham, Functions of Matrices: Theory and Computation, Society for Industrial and Applied Mathematics, 2008.
DOI : 10.1137/1.9780898717778

C. Jeannerod, H. Knochel, C. Monat, and G. Revy, Computing Floating-Point Square Roots via Bivariate Polynomial Evaluation, IEEE Transactions on Computers, vol.60, issue.2, 2008.
DOI : 10.1109/TC.2010.152

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

C. Jeannerod, C. Mouilleron, J. Muller, G. Revy, C. Bertin et al., Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors, Proceedings of the 4th International Workshop on Parallel and Symbolic Computation, PASCO '10, pp.1-9, 2010.
DOI : 10.1145/1837210.1837212

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

D. E. Knuth, Evaluation of polynomials by computer, Communications of the ACM, vol.5, issue.12, pp.595-599, 1962.
DOI : 10.1145/355580.369074

D. E. Knuth, Seminumerical Algorithms, volume 2 of The Art of Computer Programming, 1998.

P. Langlois, M. Martel, and L. Thévenoux, Accuracy versus time, Proceedings of the 4th International Workshop on Parallel and Symbolic Computation, PASCO '10, pp.121-130, 2010.
DOI : 10.1145/1837210.1837229

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

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

D. Lee and J. D. Villasenor, Optimized Custom Precision Function Evaluation for Embedded Processors, IEEE Transactions on Computers, vol.58, issue.1, pp.46-59, 2009.
DOI : 10.1109/TC.2008.124

V. Lefévre, P. Théveny, F. De-dinechin, C. Jeannerod, C. Mouilleron et al., LEMA, ACM SIGSAM Bulletin, vol.44, issue.1/2, pp.41-52, 2010.
DOI : 10.1145/1838599.1838622

M. Martel, Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics, Journal of Formal Methods in System Design, pp.265-278, 2009.
DOI : 10.1007/s10703-009-0068-y

M. Martel, Program transformation for numerical precision, Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, PEPM '09, 2009.
DOI : 10.1145/1480945.1480960

G. Melquiond, De l'arithmétique d'intervallesàintervalles`intervallesà la certification de programmes, 2006.

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

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

R. Otter, The Number of Trees, The Annals of Mathematics, vol.49, issue.3, pp.583-599, 1948.
DOI : 10.2307/1969046

V. Y. Pan, METHODS OF COMPUTING VALUES OF POLYNOMIALS, Russian Mathematical Surveys, vol.21, issue.1, pp.105-136, 1966.
DOI : 10.1070/RM1966v021n01ABEH004147

M. S. Paterson and L. J. Stockmeyer, On the Number of Nonscalar Multiplications Necessary to Evaluate Polynomials, SIAM Journal on Computing, vol.2, issue.1, pp.60-66, 1973.
DOI : 10.1137/0202007

J. M. Peña and T. Sauer, On the Multivariate Horner Scheme, SIAM Journal on Numerical Analysis, vol.37, issue.4, pp.1186-1197, 2000.
DOI : 10.1137/S0036142997324150

M. Püschel, F. Franchetti, and Y. Voronenko, Encyclopedia of Parallel Computing, chapter Spiral, 2011.

N. Revol and F. Rouillier, Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library, Reliable Computing, vol.2, issue.3, pp.275-290, 2005.
DOI : 10.1007/s11155-005-6891-y

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

G. Revy, Implementation of binary floating-point arithmetic on embedded integer processors -Polynomial evaluation-based algorithms and certified code generation, 2009.
URL : https://hal.archives-ouvertes.fr/tel-00469661