F. Banderier, Basic analytic combinatorics of directed lattice paths, Theoretical Computer Science, vol.281, issue.1-2, p.95
DOI : 10.1016/S0304-3975(02)00007-5

C. and K. Koutschan, Reduction-Based Creative Telescoping for Algebraic Functions

C. Bostan, C. , and L. Bostan, Hermite reduction and creative telescoping for hyperexponential functions Creative telescoping for rational functions using the Griffiths-Dwork method " ; LAIREZ Computing periods of rational integrals " . 15. CHEN et KAUERS Some Open Problems related to Creative Telescoping " . 16. EISENSTEIN Über eine allgemeine Eigenschaft der Reihen-Entwicklungen aller algebraischen Funktionen " . 17. WALSH, " A polynomial-time complexity bound for the computation of the singular part of a Puiseux expansion of an algebraic function The Eisenstein constant " . 19. MECHIK, Polynomial composition rigidity and plane polynomial automorphisms

F. Bostan, Fast computation of special resultants, Journal of Symbolic Computation, vol.41, issue.1
DOI : 10.1016/j.jsc.2005.07.001
URL : https://hal.archives-ouvertes.fr/inria-00000960

G. Gathen, . Kaltofen, and . Lakshman, Modern computer algebra, Solving Systems of Nonlinear Polynomial Equations Faster

L. , S. Hoeven, and . Schost, Simple multivariate polynomial multiplication Fast multivariate power series multiplication in characteristic zero Multi-point evaluation in higher dimensions " . 5. PAN Simple multivariate polynomial multiplication, PAN

S. Hoeven, Multi-point evaluation in higher dimensions
URL : https://hal.archives-ouvertes.fr/hal-00477659

. Proposition-134, P. Soient, and Q. ?-k-1, ,d m ,d deux polynômes De plus

. Démonstration, Les bornes sur les degrés proviennent de la proposition 130 Pour calculer R, on procède par évaluation et interpolation

·. ·-d-m-points, x m ) formant une grille-produit m-dimensionnelle ; D résultants univariés dans k[y] sont calculés

V. Storjohann, Computing the rank and a small nullspace basis of a polynomial matrix, Proceedings of the 2005 international symposium on Symbolic and algebraic computation , ISSAC '05
DOI : 10.1145/1073884.1073927
URL : https://hal.archives-ouvertes.fr/hal-00004832

A. Boris and J. P. Bell, Diagonalization and rationalization of algebraic Laurent series, Annales Scientifiques de l'École Normale Supérieure, pp.963-1004, 2013.

A. Gert and Z. Doron, The method of differentiating under the integral sign, Journal of Symbolic Computation, vol.10, issue.6, pp.571-591, 1990.

A. Moa and Z. Doron, Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory, Advances in Applied Mathematics, vol.37, issue.2, pp.139-152, 2006.

B. Cyril and F. Philippe, Basic Analytic Combinatorics of Directed Lattice Paths, Theoretical Computer Science, vol.281, issue.12, pp.37-80, 2002.

B. Alin, C. Shaoshi, C. Frédéric, and L. Ziming, Complexity of creative telescoping for bivariate rational functions, Proceedings ISSAC'10, pp.203-210, 2010.

B. Alin, C. Shaoshi, C. Frédéric, L. Ziming, and X. Guoce, Hermite reduction and creative telescoping for hyperexponential functions, Proceedings ISSAC'13, pp.77-84, 2013.

B. Alin, C. Gilles, and D. Philippe, Fast Computation of the Nth Term of an Algebraic Series over a Finite Prime Field, Proceedings IS- SAC'16, pp.119-126, 2016.

B. Alin, C. Frédéric, L. Grégoire, S. Bruno, and S. Éric, Differential equations for algebraic functions, Proceedings ISSAC'07, pp.25-32, 2007.

B. Alin, D. Louis, and S. Bruno, Algebraic Diagonals and Walks, Proceedings ISSAC'15, pp.77-84, 2015.

B. Alin, D. Louis, and S. Bruno, Efficient Algorithms for Mixed Creative Telscoping, Proceedings ISSAC'16, pp.127-134, 2016.

B. Alin, F. Philippe, S. Bruno, and S. Éric, Fast Computation of Special Resultants, Journal of Symbolic Computation, vol.41, issue.1, pp.1-29, 2006.

B. Alin, K. Irina, and R. Kilian, A human proof of Gessel's lattice path conjecture, Transactions of the American Mathematical Society, vol.369, issue.2, pp.1365-1393, 2017.

B. Alin, L. Pierre, and S. Bruno, Creative telescoping for rational functions using the Griffiths-Dwork method, Proceedings ISSAC'13, pp.93-100, 2013.

B. Alin and S. Éric, Polynomial evaluation and interpolation on special sets of points, Journal of Complexity, vol.21, issue.4, pp.420-446, 2005.

B. Mireille, Discrete excursions, Séminaire Lotharingien de Combinatoire Art. B57d, pp.1-23, 2008.

B. Mireille, Rational and algebraic series in combinatorial enumeration, International Congress of Mathematicians. EMS, pp.789-826, 2006.

B. Manuel, Formulas for series computations, pp.195-206, 1992.

B. Peter, C. Michael, and S. Amin, Algebraic complexity theory. Grundlehren der Mathematischen Wissenschaften 315, 1997.

J. F. Canny, K. Erich, N. Yagati, and . Lakshman, Solving systems of nonlinear polynomial equations faster, Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation , ISSAC '89, pp.121-128, 1989.
DOI : 10.1145/74540.74556

C. Shaoshi, C. Frédéric, F. Ruyong, F. Guofeng, and L. Ziming, On the existence of telescopers for mixed hypergeometric terms, Journal of Symbolic Computation Part, vol.68, issue.1, pp.1-26, 2015.

C. Shaoshi and K. Manuel, Order-degree curves for hypergeometric creative telescoping, Proceedings ISSAC'12, pp.122-129, 2012.

C. Shaoshi and K. Manuel, Some Open Problems related to Creative Telescoping, Journal of Systems Science and Complexity

C. Shaoshi and K. Manuel, Trading order for degree in creative telescoping, Journal of Symbolic Computation, vol.47, issue.8, pp.968-995, 2012.

C. Shaoshi, K. Manuel, and K. Christoph, Reduction-Based Creative Telescoping for Algebraic Functions, Proceeding ISSAC'16, pp.175-182, 2016.

C. Gilles, Diagonales de fractions rationnelles et équations de Picard-Fuchs " . Dans : Groupe d'étude d'analyse ultramétrique. T. XII. n°13, pp.1984-85

C. Gilles, Diagonales de fractions rationnelles et équations différentielles Dans : Groupe d'étude d'analyse ultramétrique, pp.18-1982

C. Frédéric, An extension of Zeilberger's fast algorithm to general holonomic functions, Discrete Mathematics, vol.217, issue.1, pp.115-134, 2000.

C. Frédéric, Fonctions holonomes en calcul formel, 1998.

C. Frédéric, The ABC of Creative Telescoping ? Algorithms, Thèse d'habilitation à diriger des recherches. École polytechnique, 2014.

C. Frédéric and S. Bruno, Non-commutative elimination in Ore algebras proves multivariate identities, Journal of Symbolic Computation, vol.26, issue.2, pp.187-227, 1998.

C. Olivier, M. F. Singer, M. Barry, . Trager, and U. Felix, Linear differential operators for polynomial equations, Journal of Symbolic Computation, vol.34, issue.5, pp.355-398, 2002.

M. Bernard, A. J. Dwork, and P. Van-der, The Eisenstein constant, Duke Mathematical Journal, vol.65, issue.1, pp.23-43, 1992.

E. Gotthold, Über eine allgemeine Eigenschaft der Reihen-Entwicklungen aller algebraischen Funktionen, Bericht Königl. Preuss. Akad. Wiss, pp.441-443, 1852.

M. Celine and F. , A Note on Pure Recurrence Relations, The American Mathematical Monthly, vol.56, issue.1, pp.14-17, 1949.

M. Celine and F. , Some generalized hypergeometric polynomials, Bulletin of the American Mathematical Society, vol.53, issue.8, pp.806-812

F. Michel, Sur divers produits de séries formelles, pp.181-191, 1974.

F. Harry, Algebraic Functions over Finite Fields, Journal of Algebra, vol.7, issue.2, pp.271-277, 1967.

F. Jean-philippe, Polynomial composition rigidity and plane polynomial automorphisms, Journal of the London Mathematical Society. Second Series, vol.91, issue.1, pp.180-202, 2015.

J. Von-zur, G. Jürgen, and G. , Modern computer algebra. Third edition, 2013.

I. M. Gessel, A factorization for formal laurent series and lattice path enumeration, Journal of Combinatorial Theory, Series A, vol.28, issue.3, pp.321-337, 1980.
DOI : 10.1016/0097-3165(80)90074-6
URL : http://doi.org/10.1016/0097-3165(80)90074-6

R. William and G. , Decision Procedure for Indefinite Hypergeometric Summation, Proceedings of the National Academy of Sciences of the United States of America, vol.75, issue.1, pp.40-42, 1978.

H. Jacques, Résolution d'une question relative aux déterminants, Bulletin des Sciences Mathématiques, issue.171893, pp.240-246

H. Charles, Sur l'intégration des fractions rationnelles, Nouvelles annales de mathématiques : journal des candidats aux écoles polytechnique et normale, pp.145-148, 1872.

J. Van-der, H. Éric, and S. , Multi-point evaluation in higher dimensions Applicable Algebra in Engineering, Communication and Computing, vol.24, issue.1, pp.37-52, 2013.

H. Ellis, Algorithms for Partial Fraction Decomposition and Rational Function Integration, Proceedings SYMSAC '71, pp.441-457, 1971.

L. Edward and . Ince, Ordinary differential equations. Reprint of the 1926 edition, 1956.

K. Manuel, K. Christoph, and Z. Doron, Proof of Ira Gessel's Lattice Path Conjecture, Proceedings of the National Academy of Sciences, pp.11502-11505, 2009.

K. Manuel and Y. Lily, On the length of integers in telescopers for proper hypergeometric terms, Journal of Symbolic Computation, vol.66, pp.21-33, 2015.

K. Christoph, A Fast Approach to Creative Telescoping, Mathematics in Computer Science, vol.4, issue.2, pp.259-266, 2010.

K. Christoph, Holonomic Functions in Mathematica, ACM Communications in Computer Algebra, vol.47, pp.3-4, 2014.

L. Pierre, Computing periods of rational integrals, Mathematics of Computation, vol.85, issue.300, pp.1719-1752, 2014.

L. Pierre, Periods of rational integrals : algorithms and applications, Thèse de doct. École polytechnique, 2014.

L. Serge and . Algebra, Graduate Texts in Mathematics 211, 2002.

L. Grégoire, Fast separable factorization and applications, Applicable Algebra in Engineering, Communication and Computing, vol.19, issue.2, pp.135-160, 2008.

L. Grégoire and S. Éric, Fast multivariate power series multiplication in characteristic zero, SADIO Electronic Journal on Informatics and Operations Research, vol.5, pp.1-10, 2003.

M. Leonard and . Lipshitz, The diagonal of a D-finite power series is D-finite, Journal of Algebra, vol.113, issue.2, pp.373-378, 1988.

M. Rachid, Sur la constante d'Eisenstein, Annales mathématiques Blaise Pascal, vol.15, issue.1, pp.87-108, 2008.

O. Mikhail, De l'intégration des fractions rationnelles Bulletin de la classe physico-mathématique de l'Académie Impériale des Sciences de Saint-Pétersbourg, pp.145-167, 1845.

Y. Victor and . Pan, Simple multivariate polynomial multiplication, Journal of Symbolic Computation, vol.18, issue.3, pp.183-186, 1994.

P. George, Sur les séries entières, dont la somme est une fonction algébrique, Enseignement Mathématique, vol.22, pp.38-47, 1921.

P. Victor, Recherches sur les fonctions algébriques, Journal de Mathématiques Pures et Appliquées, pp.365-480, 1850.

M. Van-der, P. Michael, and F. Singer, Galois Theory of Difference Equations, Lecture Notes in Mathematics, 1666.
URL : https://hal.archives-ouvertes.fr/hal-00635918

M. Van-der, P. Michael, and F. Singer, Galois Theory of Linear Differential Equations . Grundlehren der mathematischen Wissenschaften 328, 2003.

R. Michael, Aspects of symbolic integration and simplification of exponential and primitive functions, Thèse de doct, 1976.

R. P. Stanley, Enumerative combinatorics. T. II, 1999.

S. Arne and V. Gilles, Computing the Rank and a Small Nullspace Basis of a Polynomial Matrix, Proceedings ISSAC'05, pp.309-316, 2005.

S. Volker, Gaussian Elimination is Not Optimal, Numerische Mathematik, vol.13, issue.4, pp.354-356

M. Barry and . Trager, Algebraic Factoring and Rational Function Integration, Proceedings SYMSAC'76, pp.219-226, 1976.

L. Bartel and W. Van-der, Modern Algebra. T. I, 1949.

R. J. Walker, Algebraic Curves, 1950.
DOI : 10.1090/stml/007/03

P. Gary and W. , A polynomial-time complexity bound for the computation of the singular part of a Puiseux expansion of an algebraic function, Mathematics of Computation, issue.69, 2000.

S. Herbert, . Wilf, and Z. Doron, An alorithmic proof theory for hypergeometric (ordinary and " q " ) multisum/integral identities, Inventiones Mathematicae, vol.108, issue.3, pp.575-633, 1992.

C. Keng and Y. , Fundamental Problems of Algorithmic Algebra, 2000.

Y. Lily, Contributions to the proof theory of hypergeometric identities, Thèse de doct, 1993.

Z. Doron, A fast algorithm for proving terminating hypergeometric identities, Discrete Mathematics, vol.80, issue.2, pp.207-211, 1990.

Z. Doron, A holonomic systems approach to special functions identities, Journal of Computational and Applied Mathematics, vol.32, issue.3, pp.321-368, 1990.