Preuves formelles en arithmétiquesarithmétiques`arithmétiquesà virgule flottante, 2004. ,
Greedy algorithms for optimizing multivariate Horner schemes, ACM SIGSAM Bulletin, vol.38, issue.1, pp.8-15, 2004. ,
DOI : 10.1145/980175.980179
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
The evaluation of polynomials, Numerische Mathematik, vol.8, issue.1, pp.17-21, 1964. ,
DOI : 10.1007/BF01386049
Mathematical Constants, 1994. ,
DOI : 10.1017/CBO9780511550447
Faster Math Functions, Tutorial at Game Developers Conference, 2002. ,
The computation of transcendental functions on the IA-64 architecture, Intel Technology Journal, pp.1999-2040, 1999. ,
Functions of Matrices: Theory and Computation, Society for Industrial and Applied Mathematics, 2008. ,
DOI : 10.1137/1.9780898717778
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
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
Evaluation of polynomials by computer, Communications of the ACM, vol.5, issue.12, pp.595-599, 1962. ,
DOI : 10.1145/355580.369074
Seminumerical Algorithms, volume 2 of The Art of Computer Programming, 1998. ,
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
Arrondi correct de fonctions mathématiques -fonctions univariées et bivariées, certification et automatisation, 2008. ,
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
LEMA, ACM SIGSAM Bulletin, vol.44, issue.1/2, pp.41-52, 2010. ,
DOI : 10.1145/1838599.1838622
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
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
De l'arithmétique d'intervallesàintervalles`intervallesà la certification de programmes, 2006. ,
Handbook of Floating-Point Arithmetic, 2010. ,
DOI : 10.1007/978-0-8176-4705-6
URL : https://hal.archives-ouvertes.fr/ensl-00379167
The Number of Trees, The Annals of Mathematics, vol.49, issue.3, pp.583-599, 1948. ,
DOI : 10.2307/1969046
METHODS OF COMPUTING VALUES OF POLYNOMIALS, Russian Mathematical Surveys, vol.21, issue.1, pp.105-136, 1966. ,
DOI : 10.1070/RM1966v021n01ABEH004147
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
On the Multivariate Horner Scheme, SIAM Journal on Numerical Analysis, vol.37, issue.4, pp.1186-1197, 2000. ,
DOI : 10.1137/S0036142997324150
Encyclopedia of Parallel Computing, chapter Spiral, 2011. ,
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
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