R. Barrio, M. Rodríguez, A. Abad, and F. Blesa, Breaking the limits: The Taylor series method, Appl. Math. Comput, vol.217, issue.20, pp.7940-7954, 2011.

D. Broadhurst, Bessel moments, random walks and Calabi-Yau equations, p.140, 2009.

A. Bostan and É. Schost, Polynomial evaluation and interpolation on special sets of points, J. Complexity, vol.21, issue.4, pp.420-446, 2005.

P. Richard, P. Brent, and . Zimmermann, Modern computer arithmetic, Cambridge Monographs on Applied and Computational Mathematics, vol.18, p.103, 2010.

A. Cauchy, Mémoire sur l'emploi du nouveau calcul, appelé calcul des limites, dans l'intégration d'un système d'équations différentielles, Comptes-rendus de l'Académie des, Sciences, vol.15, pp.5-17, 1842.

, OEuvres complètes d'Augustin Cauchy, Ière série, vol.VII

V. David, G. V. Chudnovsky, and . Chudnovsky, Computer algebra in the service of mathematical physics and number theory, Lecture Notes in Pure and Applied Mathematics, vol.125, p.105, 1986.

H. James, M. Davenport, and . Mignotte, On finding the largest root of a polynomial, RAIRO, Modélisation Math. Anal. Numér, vol.24, issue.6, pp.693-696, 1990.

Z. Du and C. Yap, Uniform complexity of approximating hypergeometric functions with absolute error, Proceedings of the 7th Asian Symposium on Computer Mathematics (ASCM 2005, vol.104, pp.246-249, 2005.

I. Eble and M. Neher, ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions, ACM Trans. Math. Softw, vol.29, issue.3, pp.263-286, 2003.

F. G. Frobenius, über die Integration der linearen Differentialgleichungen durch Reihen, J. Reine Angew. Math, vol.76, pp.214-235, 1873.

J. Gerhard, Modular algorithms in symbolic summation and symbolic integration, Lecture Notes in Computer Science, vol.3218, p.122, 2004.

T. Grégoire, Certified polynomial approximations for D-finite functions, rapport de stage, p.118, 2012.

A. J. Guttmann, Lattice Green functions and Calabi-Yau differential equations, J. Phys. A, Math. Theor, vol.42, issue.23, p.140, 2009.

L. Heffter, Einleitung in die Theorie der linearen Differentialgleichungen, Teubner

P. Henrici, Special functions, integral transforms, asymptotics, continued fractions, Pure and Applied Mathematics, vol.2, p.106, 1977.

, Discrete Fourier analysis, Cauchy integrals, construction of conformal maps, univalent functions, Applied and computational complex analysis, vol.3, p.111, 1986.

E. Hille, Unabridged and unaltered republication of the 1976 edition, vol.100, p.107, 1997.

S. Hassani, C. Koutschan, J. Maillard, and N. Zenine, Lattice Green functions: the d-dimensional face-centered cubic lattice, J. Phys. A, Math. Theor, vol.8, issue.16, p.140, 2016.

F. Johansson, Computing hypergeometric functions rigorously, p.104, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01336266

, Arb: Efficient arbitrary-precision midpoint-radius interval arithmetic, IEEE Trans. Comput, vol.66, issue.8, pp.1281-1292, 2017.

M. Kauers, M. Jaroschek, and F. Johansson, Ore polynomials in Sage, Computer algebra and polynomials. Applications of algebra and number theory, Lecture Notes in Computer Science, vol.8642, pp.105-125, 2015.

C. Koutschan, Lattice Green functions of the higher-dimensional face-centered cubic lattices, J. Phys. A, Math. Theor, vol.46, issue.12, p.140, 2013.

M. Kauers and P. Paule, The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates, Texts and Monographs in Symbolic Computation, p.106, 2011.

M. Mezzarobba, NumGfun: a package for numerical and analytic computation with D-finite functions, Proceedings of the 2010 international symposium on symbolic and algebraic computation, vol.112, p.144, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00456983

, Autour de l'évaluation numérique des fonctions D-finies, École polytechnique (France), vol.105, p.112, 2011.

, Extended abstract of a talk at the 5th International Congress on Mathematical Software, p.137, 2016.

R. E. Moore, Interval arithmetic and automatic error analysis in digital computing, Published as Applied Mathematics and Statistics Laboratories, 1962.

. Mpfr-team, The MPFR library: algorithms and proofs, p.103, 2001.

M. Mezzarobba and B. Salvy, Effective bounds for P-recursive sequences, J. Symb. Comput, vol.45, issue.10, p.136, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00376219

M. Neher, An enclosure method for the solution of linear ODEs with polynomial coefficients, Numer. Funct. Anal. Optim, vol.20, p.105, 1999.

, Geometric series bounds for the local errors of Taylor methods for linear n-th order ODEs, Symbolic algebraic methods and verification methods, p.105, 2001.

, Improved validated bounds for Taylor coefficients and for Taylor remainder series, J. Comput. Appl. Math, vol.152, p.145, 2003.

S. Nedialko, K. R. Nedialkov, G. F. Jackson, and . Corliss, Validated solutions of initial value problems for ordinary differential equations, Appl. Math. Comput, vol.105, issue.1, p.105, 1999.

M. Neher, K. R. Jackson, and N. S. Nedialkov, On Taylor model based integration of ODEs, SIAM J. Numer. Anal, vol.45, issue.1, p.105, 2007.

W. Frank, D. W. Olver, R. F. Lozier, C. W. Boisvert, and . Clark, Companion to the NIST Handbook of Mathematical Functions, Digital Library of Mathematical Functions, 2010.

W. J. Frank, D. W. Olver, R. F. Lozier, and . Boisvert, NIST Handbook of Mathematical Functions, p.147, 2010.

E. G. Poole, Introduction to the theory of linear differential equations, p.112, 1936.

R. Rihm, Interval methods for initial value problems in ODEs, Topics in validated computations, Proceedings of the IMACS-GAMM international workshop, vol.5, p.105, 1993.

R. P. Stanley, Cambridge Studies in Advanced Mathematics, vol.2, p.106, 1999.

J. Van-der-hoeven, Fast evaluation of holonomic functions, Theor. Comput. Sci, vol.210, issue.1, pp.199-216, 1999.
URL : https://hal.archives-ouvertes.fr/hal-01374898

, Fast evaluation of holonomic functions near and in regular singularities, J. Symb. Comput, vol.31, issue.6, p.144, 2001.

P. G. Warne, D. A. Warne, J. S. Sochacki, G. E. Parker, and D. C. , Efficient accelero-summation of holonomic functions, J. Symb. Comput, vol.105, issue.4, pp.389-428, 2003.

. Carothers, Explicit a-priori error bounds and adaptive error control for approximation of nonlinear initial value differential systems, Comput. Math. Appl, vol.52, issue.12, 2006.

N. Zenine, S. Hassani, and J. Maillard, Lattice Green functions: the seven-dimensional face-centred cubic lattice, J. Phys. A, Math. Theor, vol.48, issue.3, p.140, 2015.

M. Université, , vol.6, p.6

. F-75005, Paris (France) marc.mezzarobba@lip6.fr marc@mezzarobba