S. Melczer and M. C. Wilson, Asymptotics of lattice walks via analytic combinatorics in several variables Proceedings of FPSAC 2016, DMTCS proc. 863-874, 2016.

. J. Classes, S. Courtiel, M. Melczer, and K. Mishna, Accepted to, 2017.

B. Adamczewski and J. P. Bell, Diagonalization and rationalization of algebraic Laurent series, Annales scientifiques de l'??cole normale sup??rieure, vol.46, issue.6, pp.963-1004, 2013.
DOI : 10.24033/asens.2207

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

I. A. Azenberg and A. P. Yuzhakov, Integral representations and residues in multidimensional complex analysis Translated from the Russian by, p.283, 1983.

M. Alegri, E. Henrique-de-mattos-brietzke, J. Plínio-de-oliveira-santos, R. Da, and S. , Bijections between Lattice Paths and Plane Partitions, Open Journal of Discrete Mathematics, vol.01, issue.03, 2011.
DOI : 10.4236/ojdm.2011.13014

URL : http://doi.org/10.4236/ojdm.2011.13014

Y. André, Series Gevrey de Type Arithmetique, I. Theoremes de Purete et de Dualite, The Annals of Mathematics, vol.151, issue.2, pp.705-740, 2000.
DOI : 10.2307/121045

A. Aparicio-monforte and M. Kauers, Formal Laurent series in several variables, Expositiones Mathematicae, vol.31, issue.4
DOI : 10.1016/j.exmath.2013.01.004

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

R. Apéry, Sur certaines séries entières arithmétiques In: Study group on ultrametric analysis, 9th year, Exp. No, vol.82, issue.16 2, 1981.

V. I. Arnold, S. M. Gusein-zade, and A. N. Varchenko, Singularities of differentiable maps Classification of critical points, caustics and wave fronts, Translated from the Russian by Ian Porteous based on a previous translation by Mark Reynolds, Reprint of the 1985 edition, p.382

A. Bacher and A. Sportiello, Complexity of Anticipated Rejection Algorithms and the Darling???Mandelbrot Distribution, Algorithmica, vol.255, issue.1???2, pp.812-831, 2016.
DOI : 10.1017/CBO9780511606014

A. Bacher, M. Kauers, and R. Yatchak, Continued Classification of 3D Lattice Models in the Positive Octant, Proceedings of FPSAC 2016 (28th International Conference on Formal Power Series and Algebraic Combinatorics), DMTCS proc. BC.2 0 1 6, pp.95-106

C. Banderier, M. Bousquet-mélou, A. Denise, P. Flajolet, D. Gardy et al., Generating functions for generating trees Formal power series and algebraic combinatorics, Discrete Math, pp.1-3, 1999.

C. Banderier and P. Flajolet, Basic analytic combinatorics of directed lattice paths Selected papers in honour of Maurice Nivat, In: Theoret. Comput. Sci, vol.281, issue.50, pp.1-2, 2002.

I. Bannwarth and M. Safey-el-din, Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets, Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC '15, pp.37-44, 2015.
DOI : 10.1006/jsco.1999.0282

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

Y. Baryshnikov and R. Pemantle, Asymptotics of multivariate sequences, part III: Quadratic points, Advances in Mathematics, vol.228, issue.6, pp.3127-3206, 2011.
DOI : 10.1016/j.aim.2011.08.004

S. Basu, R. Pollack, and M. Roy, Algorithms in real algebraic geometry, 2003.
DOI : 10.1007/978-3-662-05355-3

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

V. Batyrev and M. Kreuzer, Constructing new Calabi-Yau 3-folds and their mirrors via conifold transitions, Advances in Theoretical and Mathematical Physics, vol.14, issue.3, pp.879-898, 2010.
DOI : 10.4310/ATMP.2010.v14.n3.a3

URL : http://arxiv.org/abs/0802.3376

T. Becker and V. Weispfenning, Gröbner bases A computational approach to commutative algebra, In cooperation with Heinz Kredel, 1993.

B. Beckermann and G. Labahn, A Uniform Approach for the Fast Computation of Matrix-Type Pad?? Approximants, SIAM Journal on Matrix Analysis and Applications, vol.15, issue.3, pp.804-823, 1994.
DOI : 10.1137/S0895479892230031

A. Edward, L. Bender, and . Richmond, Central and local limit theorems applied to asymptotic enumeration. II. Multivariate generating functions, J. Combin. Theory Ser. A, vol.34383, pp.255-265, 1983.

A. Edward, L. Bender, and . Richmond, Multivariate asymptotics for products of large powers with applications to Lagrange inversion, Research Paper 8, 21 pp. (electronic). url

E. A. Bender, L. Bruce-richmond, and S. G. Williamson, Central and local limit theorems applied to asymptotic enumeration. III. Matrix recursions, Journal of Combinatorial Theory, Series A, vol.35, issue.3, pp.263-278, 1983.
DOI : 10.1016/0097-3165(83)90012-2

URL : http://doi.org/10.1016/0097-3165(73)90038-1

F. Bergeron, G. Labelle, and P. Leroux, Combinatorial species and tree-like structures Translated from the 1994 French original by Margaret Readdy, With a foreword by Gian-Carlo Rota, p.457, 1998.

G. M. Bergman, The logarithmic limit-set of an algebraic variety, Transactions of the American Mathematical Society, vol.157, pp.459-469, 1971.
DOI : 10.1090/S0002-9947-1971-0280489-8

O. Bernardi, M. Bousquet-mélou, and K. Raschel, Counting quadrant walks via Tutte's invariant method, Proceedings of FPSAC 2016 (28th International Conference on Formal Power Series and Algebraic Combinatorics), DMTCS proc. BC.2 0 1 6, pp.203-214

J. Berthomieu and J. Faugère, Guessing Linear Recurrence Relations of Sequence Tuplesand P-recursive Sequences with Linear Algebra, Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC '16
DOI : 10.1016/0377-0427(90)90042-X

A. Bertozzi and J. Mckenna, Multidimensional Residues, Generating Functions, and Their Application to Queueing Networks, SIAM Review, vol.35, issue.2, pp.239-268, 1993.
DOI : 10.1137/1035045

O. Blumenthal, ???ber Modulfunktionen von mehreren Ver???nderlichen, Mathematische Annalen, vol.15, issue.4, pp.509-548158075, 1903.
DOI : 10.1007/BF01444306

W. Böhm, Lattice path counting and the theory of queues, Journal of Statistical Planning and Inference, vol.140, issue.8, 2010.
DOI : 10.1016/j.jspi.2010.01.013

A. Bostan, S. Boukraa, G. Christol, S. Hassani, and J. Maillard, Ising n-fold integrals as diagonals of rational functions and integrality of series expansions, J. Phys. A, vol.461818, pp.185202-65, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00780422

A. Bostan, S. Boukraa, G. Christol, S. Hassani, and J. Maillard, Ising n-fold integrals as diagonals of rational functions and integrality of series expansions: integrality versus modularity, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00780423

A. Bostan, I. Kurkova, and K. , A human proof of Gessel???s lattice path conjecture, Transactions of the American Mathematical Society, vol.369, issue.2, p.61, 2016.
DOI : 10.1090/tran/6804

A. Bostan, M. Bousquet-mélou, M. Kauers, and S. Melczer, On 3-Dimensional Lattice Walks Confined to the Positive Octant, Annals of Combinatorics, vol.20, issue.2, pp.661-704, 2016.
DOI : 10.1145/96877.96929

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

A. Bostan, M. Bousquet-mélou, and S. Melczer, Walks with large steps in an orthant, preparation. 2017 (cit, p.219

A. Bostan, S. Chen, F. Chyzak, Z. Li, and G. Xin, Hermite reduction and creative telescoping for hyperexponential functions, Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation, ISSAC '13
DOI : 10.1145/2465506.2465946

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

A. Bostan, F. Chyzak, M. Giusti, R. Lebreton, G. Lecerf et al., Algorithmes Efficaces en Calcul Formel. Electronic Draft. 2017. url: https://hal.archives-ouvertes.fr, pp.33-37
URL : https://hal.archives-ouvertes.fr/hal-01431717

A. Bostan, F. Chyzak, M. Van-hoeij, M. Kauers, and L. Pech, Hypergeometric expressions for generating functions of walks with small steps in the quarter plane, European Journal of Combinatorics, vol.61, pp.61-242, 2017.
DOI : 10.1016/j.ejc.2016.10.010

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

A. Bostan, F. Chyzak, B. Salvy, G. Lecerf, and É. Schost, Differential equations for algebraic functions, Proceedings of the 2007 international symposium on Symbolic and algebraic computation , ISSAC '07, p.1277553
DOI : 10.1145/1277548.1277553

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

A. Bostan, L. Dumont, and B. Salvy, Algebraic Diagonals and Walks, Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC '15, pp.77-84, 2015.
DOI : 10.1017/CBO9780511609589

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

A. Bostan and M. Kauers, Automatic classification of restricted lattice walks, 21st International Conference on Formal Power Series and Algebraic Combinatorics, pp.201-215, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00780428

A. Bostan and M. Kauers, The complete generating function for Gessel walks is algebraic With an appendix by Mark van Hoeij, Proc. Amer, pp.3063-3078, 2010.

A. Bostan, P. Lairez, and B. Salvy, Creative telescoping for rational functions using the Griffiths-Dwork method, ISSAC 2013?Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation.2 0 1 3, p.114
DOI : 10.1145/2465506.2465935

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

A. Bostan, P. Lairez, and B. Salvy, Multiple binomial sums, Journal of Symbolic Computation, vol.80, issue.3, pp.351-386, 2017.
DOI : 10.1016/j.jsc.2016.04.002

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

A. Bostan, K. Raschel, and B. Salvy, Non-D-finite excursions in the quarter plane, Journal of Combinatorial Theory, Series A, vol.121, pp.61-175, 2014.
DOI : 10.1016/j.jcta.2013.09.005

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

U. Bottazzini, The higher calculus: a history of real and complex analysis from Euler to Weierstrass. Translated from the Italian by Warren Van Egmond, pp.978-979, 1986.

U. Bottazzini and J. Gray, Hidden harmony?geometric fantasies. The rise of complex function theory, 2013.
DOI : 10.1007/978-1-4614-5725-1

A. Bouaziz, S. Mustapha, and M. Sifi, Discrete harmonic functions on an orthant in Z d, In: Electron. Commun. Probab, vol.20, issue.52, p.13, 2015.

S. Boukraa, S. Hassani, J. Maillard, and N. Zenine, Landau singularities and singularities of holonomic integrals of the Ising class, Journal of Physics A: Mathematical and Theoretical, vol.40, issue.11, pp.2583-2614, 2007.
DOI : 10.1088/1751-8113/40/11/001

M. Bousquet-mélou, Algebraic Generating Functions in Enumerative Combinatorics and Context-Free Languages, STACS 2005, pp.978-981
DOI : 10.1007/978-3-540-31856-9_2

M. Bousquet-mélou, An elementary solution of Gessel's walks in the quadrant, Advances in Mathematics, vol.303, p.61, 2016.
DOI : 10.1016/j.aim.2016.08.038

M. Bousquet-mélou, Counting walks in the quarter plane Mathematics and computer science, II (Versailles, pp.49-67, 2002.

M. Bousquet-mélou, Rational and algebraic series in combinatorial enumeration, International Congress of Mathematicians, vol.12, issue.66, pp.789-826, 2006.
DOI : 10.4171/022-3/40

M. Bousquet-mélou, Walks in the quarter plane: Kreweras??? algebraic model, The Annals of Applied Probability, vol.15, issue.2, pp.1451-1491, 2005.
DOI : 10.1214/105051605000000052

M. Bousquet-mélou and M. Mishna, Walks with small steps in the quarter plane Algorithmic probability and combinatorics.V o l, pp.56-57

M. Bousquet-mélou and M. Petkovek, Linear recurrences with constant coefficients: the multivariate case Formal power series and algebraic combinatorics, Discrete Math, pp.1-3, 1998.

M. Bousquet-mélou and M. Petkovek, Walks confined in a quadrant are not always D-finite Random generation of combinatorial objects and bijective combinatorics, Theoret. Comput. Sci, vol.3072, issue.53, pp.257-27600219, 2003.

Y. Bouzidi, S. Lazard, G. Moroz, M. Pouget, F. Rouillier et al., Improved algorithms for solving bivariate systems via Rational Univariate Representations
DOI : 10.1016/j.jco.2016.07.002

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

Y. Bouzidi, S. Lazard, M. Pouget, and F. Rouillier, Separating linear forms and Rational Univariate Representations of bivariate systems, Journal of Symbolic Computation, vol.68, pp.84-119, 2015.
DOI : 10.1016/j.jsc.2014.08.009

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

M. Bronstein and B. Salvy, Full partial fraction decomposition of rational functions, Proceedings of the 1993 international symposium on Symbolic and algebraic computation , ISSAC '93, p.164114
DOI : 10.1145/164081.164114

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

N. G. De-bruijn, Asymptotic methods in analysis, Amsterdam ; P. Noordhoff Ltd, p.200, 1958.

N. G. De-bruijn, D. E. Knuth, and S. O. Rice, THE AVERAGE HEIGHT OF PLANTED PLANE TREES, pp.15-22, 1972.
DOI : 10.1016/B978-1-4832-3187-7.50007-6

P. Bürgisser, M. Clausen, and M. A. Shokrollahi, Algebraic complexity theory With the collaboration of Thomas Lickteig, 1997.

S. Burrill, J. Courtiel, E. Fusy, S. Melczer, and M. Mishna, Tableau sequences, open diagrams, and Baxter families, European Journal of Combinatorics, vol.58, issue.17, pp.144-165, 2016.
DOI : 10.1016/j.ejc.2016.05.011

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

D. Castro, L. M. Pardo, K. Hägele, and J. E. Morais, Kronecker's and Newton's Approaches to Solving: A First Comparison, Journal of Complexity, vol.17, issue.1, 2001.
DOI : 10.1006/jcom.2000.0572

A. Cayley, 850. On linear differential equations, In: Quart. J. Pure Appl. Math XXI, pp.321-331, 1886.
DOI : 10.1017/CBO9780511703782.053

C. Chabaud, Séries génératrices algébriques : asymptotique et applications combinatoires, 2002.

S. Chen, M. Kauers, and M. F. Singer, Telescopers for rational and algebraic functions via residues, Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC '12, p.2442851
DOI : 10.1145/2442829.2442851

URL : http://arxiv.org/abs/1201.1954

G. Christol, Diagonals of rational fractions, Math. Soc. Newsl, vol.97, pp.37-43, 2015.

D. V. Chudnovsky and G. V. Chudnovsky, Applications of Pad?? approximations to diophantine inequalities in values of G-functions, pp.1983-84
DOI : 10.3792/pjaa.59.281

D. V. Chudnovsky and G. V. Chudnovsky, On expansion of algebraic functions in power and Puiseux series, I, Journal of Complexity, vol.2, issue.4, pp.271-29490006, 1986.
DOI : 10.1016/0885-064X(86)90006-3

D. V. Chudnovsky and G. V. Chudnovsky, On expansion of algebraic functions in power and Puiseux series, II, Journal of Complexity, vol.3, issue.1, pp.90002-90003, 1987.
DOI : 10.1016/0885-064X(87)90002-1

F. Chyzak, An extension of Zeilberger's fast algorithm to general holonomic functions Formal power series and algebraic combinatorics, Discrete Math, pp.1-3, 1997.

F. Chyzak, The ABC of Creative Telescoping ? Algorithms, Bounds, Complexity " . Habilitation à diriger des recherches (HDR) University Paris-Sud 11, 2014. url: https
URL : https://hal.archives-ouvertes.fr/tel-01069831

F. Chyzak and B. Salvy, Non-commutative Elimination in Ore Algebras Proves Multivariate Identities, Journal of Symbolic Computation, vol.26, issue.2, pp.187-227, 1998.
DOI : 10.1006/jsco.1998.0207

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

J. Courtiel, S. Melczer, M. Mishna, and K. , Weighted lattice walks and universality classes, Journal of Combinatorial Theory, Series A, vol.152, pp.22-183, 2016.
DOI : 10.1016/j.jcta.2017.06.008

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

A. David, S. Cox, and . Katz, Mirror symmetry and algebraic geometry, 1999.

D. A. Cox, J. Little, and D. O. Shea, Using algebraic geometry. Second, p.572, 2005.

G. Cramer, Introduction à l'Analyse des lignes courbes algébriques. Chez les Frères Cramer et Cl, p.32

G. Darboux, Mémoire sur l'approximation des fonctions de très-grands nombres, et sur une classe étendue de développements en série, Journal de mathématiques pures et appliquées 3e série 4 (1878), pp.5-56

D. Philippe, V. Arco, S. Lacivita, and . Mustapha, Combinatorics meets potential theory, In: Electron. J. Combin, vol.232, p.17, 2016.

M. Davis, Engines of logic Mathematicians and the origin of the computer, Corrected reprint of the, p.257, 2000.

P. Debye, Näherungsformeln für die Zylinderfunktionen für groï¿¿e Werte des Arguments und unbeschränkt veränderliche Werte des Index, pp.535-558, 1909.
DOI : 10.1007/bf01450097

M. Delest, Algebraic languages: a bridge between combinatorics and computer science In: Formal power series and algebraic combinatorics, pp.71-87, 1994.

P. Deligne, Intégration sur un cycle évanescent, Invent. Math, vol.761, pp.129-143, 1984.
DOI : 10.1007/bf01388496

J. Denef and L. Lipshitz, Algebraic power series and diagonals, Journal of Number Theory, vol.26, issue.1, pp.46-6790095, 1987.
DOI : 10.1016/0022-314X(87)90095-3

URL : http://doi.org/10.1016/0022-314x(87)90095-3

D. Denisov, V. Wachtel-ann, and . Probab, Random walks in cones, The Annals of Probability, vol.43, issue.3, pp.992-1044, 2015.
DOI : 10.1214/13-AOP867

URL : https://www.escholar.manchester.ac.uk/api/datastream?publicationPid=uk-ac-man-scw:178163&datastreamId=POST-PEER-REVIEW-PUBLISHERS.PDF

V. Despax, A family of centered random walks on weight lattices conditioned to stay in Weyl chambers, pp.1-21, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01279524

A. Ronald, G. G. Devore, and . Lorentz, Constructive approximation, 1993.

T. Devries, J. Van-der-hoeven, and R. Pemantle, Automatic asymptotics for coefficients of smooth, bivariate rational functions, In: Online J. Anal. Comb, vol.6, issue.1, p.24

T. Dreyfus, C. Hardouin, J. Roques, and M. F. Singer, On the nature of the generating series of walks in the quarter plane " . In: ArXiv e-prints (2017). url: https

J. Duraj, Random walks in cones: The case of nonzero drift, Stochastic Process. Appl. 124, pp.61-211, 0190.
DOI : 10.1016/j.spa.2013.12.003

W. Ebeling, Functions of several complex variables and their singularities.V o l .8 3 . Translated from the, p.154, 2001.

D. Eisenbud, Commutative algebra With a view toward algebraic geometry, 1995.

S. B. Ekhad and D. Zeilberger, On the number of singular vector tuples of hyper-cubical tensors, The Personal Journal of Shalosh B. Ekhad and Doron Zeilberger, 2016.

L. Euler, Introduction to analysis of the infinite. Book I. Translated from the Latin and with an introduction by, pp.978-979, 1988.

G. Fayolle and R. Iasnogorodski, Two coupled processors: The reduction to a Riemann-Hilbert problem, Zeitschrift f???r Wahrscheinlichkeitstheorie und Verwandte Gebiete, vol.13, issue.No. 6, pp.325-351, 1979.
DOI : 10.1007/BF00535168

G. Fayolle, R. Iasnogorodski, and V. Malyshev, Random walks in the quarterplane Algebraic methods, boundary value problems and applications, p.54, 1999.

G. Fayolle and K. Raschel, Some exact asymptotics in the counting of walks in the quarter plane, 23rd Intern. Meeting on Probabilistic, Combinatorial, and Asymptotic Methods for the Analysis of Algorithms (AofA'12). 2012, pp.109-124
URL : https://hal.archives-ouvertes.fr/hal-00661541

M. V. Fedorjuk, Method of stationary phase, and pseudodifferential operators, In: Uspehi Mat. Nauk, vol.261, issue.157, pp.67-112, 1971.

C. M. Fiduccia, An Efficient Formula for Linear Recurrences, SIAM Journal on Computing, vol.14, issue.1, pp.106-112, 1985.
DOI : 10.1137/0214007

S. Fischler and T. Rivoal, On the values of $G$-functions, Commentarii Mathematici Helvetici, vol.89, issue.2, pp.313-341321, 2014.
DOI : 10.4171/CMH/321

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

P. Flajolet and A. Odlyzko, Singularity analysis of generating functions, In: SIAM J. Discrete Math, vol.32, pp.216-240, 1990.
DOI : 10.1137/0403019

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

P. Flajolet and R. Sedgewick, Analytic combinatorics, pp.26-28, 2009.
DOI : 10.1017/CBO9780511801655

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

S. Friedland and G. Ottaviani, The Number of Singular Vector Tuples and Uniqueness of Best Rank-One Approximation of Tensors, Foundations of Computational Mathematics, vol.33, issue.2, 2014.
DOI : 10.1137/110835335

G. Frobenius, Ueber die Integration der linearen Differentialgleichungen durch Reihen., Journal f??r die reine und angewandte Mathematik (Crelles Journal), vol.1873, issue.76, pp.214-235, 1873.
DOI : 10.1515/crll.1873.76.214

L. Fuchs, Zur Theorie der linearen Differentialgleichungen mit veränderlichen Coefficienten, Ergänzungen zu der im 66 sten Bande dieses Journals enthaltenen Abhandlung, pp.354-385, 1868.
DOI : 10.1515/crll.1866.66.121

H. Furstenberg, Algebraic functions over finite fields, Journal of Algebra, vol.7, issue.2, pp.271-277, 1967.
DOI : 10.1016/0021-8693(67)90061-0

URL : http://doi.org/10.1016/0021-8693(67)90061-0

Z. Gao and L. Richmond, Central and local limit theorems applied to asymptotic enumeration. IV. Multivariate generating functions Asymptotic methods in analysis and combinatorics, J. Comput. Appl. Math, vol.41, issue.92, pp.1-2, 1992.

R. Garbit, S. Mustapha, and K. , Random walks with drift in cones, preparation . 2017 (cit. on pp. 15, pp.210-211

R. Garbit and K. Raschel, On the exit time from a cone for random walks with drift, Revista Matem??tica Iberoamericana, vol.32, issue.2, pp.511-532, 2016.
DOI : 10.4171/RMI/893

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

S. Garoufalidis, G-functions and multisum versus holonomic sequences, Advances in Mathematics, vol.220, issue.6, 2009.
DOI : 10.1016/j.aim.2008.11.012

URL : http://doi.org/10.1016/j.aim.2008.11.012

S. Garrabrant and I. Pak, Counting with irrational tiles In: ArXiv e-prints (2014). url: https://arxiv.org/abs/1407

J. Von, Z. Gathen, and J. Gerhard, Modern computer algebra. Third

I. M. Gelfand, M. M. Kapranov, and A. V. Zelevinsky, Discriminants, resultants and multidimensional determinants. Reprint of the 1994 edition, p.523, 2008.

I. Gessel, Rational functions with nonnegative power series coefficients " . 50th Séminaire Lotharingien de Combinatoire, 2003.

I. M. Gessel, A probabilistic method for lattice path enumeration, Journal of Statistical Planning and Inference, vol.14, issue.1, pp.49-58, 1986.
DOI : 10.1016/0378-3758(86)90009-1

M. Ira, D. Gessel, and . Zeilberger, Random walk in a Weyl chamber, Proc. Amer, pp.27-31, 1992.

M. Giusti, J. Heintz, J. E. Morais, J. Morgenstern, and L. M. Pardo, Straight-line programs in geometric elimination theory, Journal of Pure and Applied Algebra, vol.124, issue.1-3, pp.1-3, 1998.
DOI : 10.1016/S0022-4049(96)00099-0

URL : http://doi.org/10.1016/s0022-4049(96)00099-0

M. Giusti, J. Heintz, and J. Sabia, On the efficiency of effective Nullstellensätze, In: Comput. Complexity, vol.31, pp.56-95, 1993.

M. Giusti, G. Lecerf, and B. Salvy, A Gröbner free alternative for polynomial system solving, J. Complexity, vol.171, issue.118, pp.154-211, 2001.

M. Goresky and R. Macpherson, Stratified Morse theory, 1988.
DOI : 10.1090/pspum/040.1/713089

X. Gourdon and B. Salvy, Effective asymptotics of linear recurrences with rational coefficients, Proceedings of the 5th Conference on Formal Power Series and Algebraic Combinatorics, pp.133-136, 1993.
DOI : 10.1016/0012-365X(95)00133-H

D. Gouyou-beauchamps, Chemins sous-diagonaux et tableaux de Young, pp.112-125, 1986.
DOI : 10.4153/CJM-1962-032-x

D. Gouyou-beauchamps, Standard Young Tableaux of Height 4 and 5, European Journal of Combinatorics, vol.10, issue.1, pp.69-82, 1989.
DOI : 10.1016/S0195-6698(89)80034-4

J. J. Gray, Fuchs and the theory of differential equations, Bulletin of the American Mathematical Society, vol.10, issue.1, pp.1-26, 1984.
DOI : 10.1090/S0273-0979-1984-15186-3

T. Greenwood, Asymptotics of bivariate analytic functions with algebraic singularities, Proceedings of FPSAC 2016 (28th International Conference on Formal Power Series and Algebraic Combinatorics), DMTCS proc. BC. 2016, pp.599-610
DOI : 10.1016/j.jcta.2017.06.014

T. Greenwood, Asymptotics of bivariate generating functions with algebraic singularities Thesis (Ph.D.)?University of Pennsylvania, ProQuest LLC, vol.87

P. Griffiths and J. Harris, Principles of algebraic geometry Pure and Applied Mathematics, pp.813-81, 1978.

D. Yu, N. N. Grigor-'ev, and . Vorobjov-jr, Solving systems of polynomial inequalities in subexponential time, J. Symbolic Comput, vol.5188, issue.2, pp.37-64, 1988.

H. D. Grossman, Fun with lattice points, In: Scripta Math, vol.16, pp.207-212, 1950.

J. Hadamard, History of Science and Psychology of Invention, Mathematika, vol.1, issue.01, pp.1-3
DOI : 10.1112/S0025579300000450

G. H. Hardy, Divergent Series. Oxford, at the Clarendon Press, p.396, 1949.

F. Hartogs, Zur Theorie der analytischen Funktionen mehrerer unabhängiger Veränderlichen , insbesondere über die Darstellung derselben durch Reihen, welche nach Potenzen einer Veränderlichen fortschreiten, In: Math. Ann, vol.621, pp.1-88, 1906.
DOI : 10.1007/bf01448415

M. L. Hautus and D. A. Klarner, The diagonal of a double power series, Duke Mathematical Journal, vol.38, issue.2, pp.229-235, 1971.
DOI : 10.1215/S0012-7094-71-03829-4

P. Henrici, Applied and computational complex analysis Special functions? integral transforms?asymptotics?continued fractions, p.662, 1977.

E. Hille, Ordinary differential equations in the complex domain Pure and Applied Mathematics, p.484, 1976.

D. Michael and . Hirschhorn, A connection between ? and ?, In: Fibonacci Quart, vol.531, pp.42-47, 2015.

J. Van-der-hoeven, Fast evaluation of holonomic functions near and in regular singularities, J. Symbolic Comput, vol.316, pp.717-743, 2001.

L. Hörmander, The analysis of linear partial differential operators Distribution theory and Fourier analysis, I. Second, vol.256, issue.86, p.85, 1990.

K. Humphreys, A history and a survey of lattice path enumeration, Journal of Statistical Planning and Inference, vol.140, issue.8, 2010.
DOI : 10.1016/j.jspi.2010.01.020

V. Irvine, Lace Tessellations: A mathematical model for bobbin lace and an exhaustive combinatorial search for patterns, 2016.
DOI : 10.1080/17513472.2014.982938

URL : http://arxiv.org/abs/1406.1532

E. Ising, Beitrag zur Theorie des Ferromagnetismus, Zeitschrift f??r Physik, vol.6, issue.4, pp.253-258, 1925.
DOI : 10.1007/BF02980577

J. Jouanolou, Le formalisme du r??sultant, Adv. Math. 90, pp.117-26390031, 1991.
DOI : 10.1016/0001-8708(91)90031-2

URL : http://doi.org/10.1016/0001-8708(91)90031-2

A. Joyal, Une th??orie combinatoire des s??ries formelles, Advances in Mathematics, vol.42, issue.1, pp.1-82, 1981.
DOI : 10.1016/0001-8708(81)90052-9

URL : http://doi.org/10.1016/0001-8708(81)90052-9

M. Nicholas and . Katz, Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin, In: Inst. Hautes Études Sci. Publ. Math, vol.39, pp.175-232, 1970.

M. Kauers and R. Yatchak, Walks in the Quarter Plane with Multiple Steps, Proceedings of FPSAC'15. 2015, pp.25-36
URL : https://hal.archives-ouvertes.fr/hal-01337843

M. Kauers, M. Jaroschek, and F. Johansson, Ore Polynomials in Sage, pp.978-981
DOI : 10.1007/978-3-319-15081-9_6

M. Kauers, C. Koutschan, and D. Zeilberger, Proof of Ira Gessel's lattice path conjecture, Proc. Natl. Acad. Sci. USA 106, 2009.
DOI : 10.1006/jsco.1998.0207

URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2710637

M. Kauers and D. Zeilberger, The computational challenge of enumerating highdimensional rook walks, In: Adv. in Appl. Math, vol.474, pp.813-819, 2011.

M. Kauers and D. Zeilberger, The quasi-holonomic ansatz and restricted lattice walks, Journal of Difference Equations and Applications, vol.1, issue.10-11, pp.10-11, 2008.
DOI : 10.1007/s00026-007-0316-z

URL : http://arxiv.org/abs/0806.4318

E. Donald and . Knuth, The art of computer programming Fundamental algorithms, Third edition, p.650, 1997.

A. Kobel, F. Rouillier, and M. Sagraloff, Computing Real Roots of Real Polynomials ... and now For Real!, Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC '16, p.2930937
DOI : 10.1145/1993886.1993938

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

A. Kobel and M. Sagraloff, On the complexity of computing with planar algebraic curves, Journal of Complexity, vol.31, issue.2, pp.206-236, 2015.
DOI : 10.1016/j.jco.2014.08.002

M. Kontsevich and D. Zagier, Mathematics unlimited?2001 and beyond, pp.771-808, 2001.

C. Koutschan, A Fast Approach to Creative Telescoping, Mathematics in Computer Science, vol.32, issue.3, pp.2-3, 2010.
DOI : 10.1016/0377-0427(90)90042-X

URL : http://arxiv.org/abs/1004.3314

C. Koutschan, Regular languages and their generating functions: The inverse problem, Theoretical Computer Science, vol.391, issue.1-2, pp.1-2, 2008.
DOI : 10.1016/j.tcs.2007.10.031

URL : http://doi.org/10.1016/j.tcs.2007.10.031

T. Krick, L. M. Pardo, and M. Sombra, Sharp estimates for the arithmetic Nullstellensatz In: Duke Math, J, vol.1093, issue.117, pp.521-598, 2001.

L. Kronecker, Grundzüge einer arithmetischen Theorie der algebraischen Grössen, German . In: Journal für die reine und angewandte Mathematik 92 (1882), pp.1-122148487

P. Lairez, Computing periods of rational integrals, Mathematics of Computation, vol.85, issue.300, p.68, 2016.
DOI : 10.1090/mcom/3054

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

P. Lairez, Computing periods of rational integrals, Mathematics of Computation, vol.85, issue.300, 2017.
DOI : 10.1090/mcom/3054

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

P. Laplace, Mémoire sur la probabilité des causes par les événements, Mémoires de mathématique et de physique Tome VI (1774), pp.621-656, 12148.

L. François and . Gall, Powers of tensors and fast matrix multiplication, ISSAC 2014?Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation.2014, pp.296-303

C. Lecouvey and K. , t-Martin Boundary of Killed Random Walks in the Quadrant
DOI : 10.1016/j.spa.2014.04.013

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

C. Lecouvey and P. Tarrago, Central measures on multiplicative graphs, representations of Lie algebras and weight polytopes In: ArXiv e-prints (2017). url: https

W. Lenz, Beiträge zum Verstandnis der magnetischen Eigenschaften in festen Korpern, Physikalische Zeitschrift, vol.21, 1920.

J. Leray, Le calcul diff??rentiel et int??gral sur une vari??t?? analytique complexe. (Probl??me de Cauchy. III.), Bulletin de la Société mathématique de France, vol.79, pp.81-180, 1959.
DOI : 10.24033/bsmf.1515

URL : http://www.numdam.org/article/BSMF_1959__87__81_0.pdf

B. Lichtin, The asymptotics of a lattice point problem associated to a finite number of polynomials. I " . In: Duke Math, J, vol.631, pp.139-192, 1991.

B. Lichtin, The asymptotics of a lattice point problem associated to a finite number of polynomials. II " . In: Duke Math, J, vol.773, pp.699-751, 1995.

L. Lipshitz, D-finite power series, Journal of Algebra, vol.122, issue.2, pp.353-37390222, 1989.
DOI : 10.1016/0021-8693(89)90222-6

URL : http://doi.org/10.1016/0021-8693(89)90222-6

L. Lipshitz, The diagonal of a D-finite power series is D-finite, Journal of Algebra, vol.113, issue.2, pp.373-378, 1988.
DOI : 10.1016/0021-8693(88)90166-4

. Stanisaw-ojasiewicz, Ensembles semi-analytiques, 1965.

J. Lumbroso, M. Mishna, and Y. Ponty, Taming reluctant random walks in the positive quadrant, Proceedings of International conference on random generation of combinatorial structures GASCom'16, 2016.
DOI : 10.1016/j.endm.2017.05.008

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

F. Macaulay, The algebraic theory of modular systems, 1916.

Y. V. Matiyasevich, Hilbert's tenth problem. Translated from the 1993 Russian original by the author, With a foreword by Martin Davis, p.264, 1993.

K. Mehlhorn, M. Sagraloff, and P. Wang, From approximate factorization to root isolation with application to cylindrical algebraic decomposition, Journal of Symbolic Computation, vol.66, issue.133, pp.34-69, 2015.
DOI : 10.1016/j.jsc.2014.02.001

URL : http://arxiv.org/pdf/1301.4870

S. Melczer, Variants of the Kernel Method for Lattice Path Models, pp.2014-2028

S. Melczer and M. Mishna, Asymptotic Lattice Path Enumeration Using Diagonals, Algorithmica 75, pp.782-811, 2016.
DOI : 10.1016/0377-0427(90)90042-X

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

S. Melczer and M. Mishna, Singularity Analysis Via the Iterated Kernel Method, Combinatorics, Probability and Computing, vol.17, issue.05, pp.861-888, 2014.
DOI : 10.1016/S0304-3975(02)00007-5

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

S. Melczer and B. Salvy, Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables, Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC '16, pp.111-118
DOI : 10.1016/j.jsc.2015.03.004

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

S. Melczer and M. C. Wilson, Asymptotics of lattice walks via analytic combinatorics in several variables, Proceedings of FPSAC 2016 (28th International Conference on Formal Power Series and Algebraic Combinatorics), DMTCS proc, pp.8-14
URL : https://hal.archives-ouvertes.fr/hal-01394166

M. Mezzarobba, Autour de l'évaluation numérique des fonctions D-finies, 2011.

M. Mezzarobba, Rigorous Multiple-Precision Evaluation of D-Finite Functions in Sage- Math, Extended abstract of a talk at the 5th International Congress on Mathematical Software. arXiv, p.2016

M. Mignotte, Mathematics for computer algebra. Translated from the French by Catherine Mignotte, 1992.

M. Mishna, Classifying lattice walks restricted to the quarter plane Theory Ser. A 116, pp.460-477, 2009.
DOI : 10.1016/j.jcta.2008.06.011

URL : http://doi.org/10.1016/j.jcta.2008.06.011

M. Mishna and A. Rechnitzer, Two non-holonomic lattice walks in the quarter plane, Theoretical Computer Science, vol.410, issue.38-40, pp.38-40, 2009.
DOI : 10.1016/j.tcs.2009.04.008

M. Sri-gopal, Lattice path counting and applications. Probability and Mathematical Statistics, p.185, 1979.

A. De-moivre, De Mensura Sortis seu; de Probabilitate Eventuum in Ludis a Casu Fortuito Pendentibus, Philosophical Transactions of the Royal Society of London, vol.27, issue.325-336, pp.213-264, 1711.
DOI : 10.1098/rstl.1710.0018

A. De-moivre, Miscellanea analytica de seriebus et quadraturis, pp.250-279, 1730.

R. David and . Morrison, Mirror symmetry and rational curves on quintic threefolds: a guide for mathematicians, J. Amer. Math. Soc, vol.61, pp.223-247, 1993.

D. Mumford, Algebraic geometry. I. Complex projective varieties, Grundlehren der Mathematischen Wissenschaften, p.186, 1976.

I. Newton, Analysis per Quantitatum Series, Fluxiones, ac Differentias: cum Enumeratione Linearum Tertii Ordinis, p.1711

I. Newton, The method of fluxions and infinite series: with its application to the geometry of curve-lines. English translation by John Colson from the latin original, p.1736

F. Norguet, Sur la théorie des résidus, C. R. Acad. Sci. Paris, vol.248, pp.2057-2059, 1959.

W. J. Frank and . Olver, Asymptotics and special functions. Reprint of the 1974 original, #8655)]. A K Peters, p.572, 1997.

A. Ostermann and G. Wanner, Geometry by its history, 2012.
DOI : 10.1007/978-3-642-29163-0

J. Ouaknine and J. Worrell, Decision problems for linear recurrence sequences In: Reachability problems.V o l, pp.978-981

J. Ouaknine and J. Worrell, Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences, pp.330-341978
DOI : 10.1007/978-3-662-43951-7_28

URL : http://arxiv.org/abs/1309.1914

J. Pantone, The Asymptotic Number of Simple Singular Vector Tuples of a Cubical Tensor, To appear in the Online Journal of Analytic Combinatorics (2017) (cit, pp.70-96

R. Pemantle, Analytic combinatorics in d variables: an overview " . In: Algorithmic probability and combinatorics, 10260.
DOI : 10.1090/conm/520/10260

R. Pemantle and M. C. Wilson, Analytic combinatorics in several variables.V ol.140, pp.380-390, 2013.
DOI : 10.1017/cbo9781139381864

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

R. Pemantle and M. C. Wilson, Asymptotic expansions of oscillatory integrals with complex phase, pp.221-240, 2010.
DOI : 10.1090/conm/520/10261

R. Pemantle and M. C. Wilson, Asymptotics of multivariate sequences. I. Smooth points of the singular variety, J. Combin. Theory Ser. A, vol.971, pp.129-161, 2002.
DOI : 10.1006/jcta.2001.3201

URL : http://doi.org/10.1006/jcta.2001.3201

R. Pemantle and M. C. Wilson, Asymptotics of Multivariate Sequences II: Multiple Points of the Singular Variety, Combinatorics, Probability and Computing, vol.13, issue.4-5, pp.4-5, 2004.
DOI : 10.1017/S0963548304006248

R. Pemantle and M. C. Wilson, Twenty Combinatorial Examples of Asymptotics Derived from Multivariate Generating Functions, SIAM Review, vol.50, issue.2, pp.199-272, 2008.
DOI : 10.1137/050643866

D. Yu and . Pochekutov, Diagonals of the Laurent series of rational functions, Sibirsk. Mat. Zh, vol.506, pp.1370-1383, 2009.

H. Poincaré, Sur les r??sidus des int??grales doubles, Acta Mathematica, vol.9, issue.0, pp.321-380, 1887.
DOI : 10.1007/BF02406742

G. Pólya, Sur les séries entières, dont la somme est une fonction algébrique, In: L'Enseignement Mathématique, vol.22, pp.38-47, 1921.

A. Van-der-poorten, A proof that Euler missedApéry's proof of the irrationality of ?(3) An informal report, In: Math. Intelligencer, vol.179, issue.4, pp.195-203, 1978.

H. Prodinger, The kernel method: a collection of examples, Art. B50f, p.19, 2003.

V. Puiseux, Recherches sur les fonctions algébriques, Journal de mathématiques pures et appliquées 1re série 15 (1850), pp.365-480

A. Raichev, New software for computing asymptotics of multivariate generating functions, ACM Communications in Computer Algebra, vol.45, issue.3/4, pp.3-4, 2011.
DOI : 10.1145/2110170.2110179

A. Raichev and M. C. Wilson, Asymptotics of coefficients of multivariate generating functions: improvements for multiple points, In: Online J. Anal. Comb, vol.6, issue.1, p.21

E. Rannou, The Complexity of Stratification Computation, Discrete & Computational Geometry, vol.19, issue.1, pp.47-78, 1998.
DOI : 10.1007/PL00009335

J. Renegar, On the computational complexity and geometry of the first-order theory of the reals. Part I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals, Journal of Symbolic Computation, vol.13, issue.3, pp.255-299, 1992.
DOI : 10.1016/S0747-7171(10)80003-3

E. J. Janse-van-rensburg, The statistical mechanics of interacting walks, polygons, animals and vesicles, p.379, 2000.
DOI : 10.1093/acprof:oso/9780199666577.001.0001

E. J. Janse-van-rensburg, T. Prellberg, and A. Rechnitzer, Partially directed paths in a wedge, Journal of Combinatorial Theory, Series A, vol.115, issue.4, pp.623-650, 2008.
DOI : 10.1016/j.jcta.2007.08.003

B. Riemann and . Gesammelte-mathematische-werke, Wissenschaftlicher Nachlass und Nachträge -Collected Papers, p.911, 1990.
DOI : 10.1007/978-3-663-10149-9

F. Rouillier, Solving Zero-Dimensional Systems Through the Rational Univariate Representation, Applicable Algebra in Engineering, Communication and Computing, vol.9, issue.5, pp.433-461, 1999.
DOI : 10.1007/s002000050114

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

M. Safey, E. Din, and É. Schost, Bit complexity for multi-homogeneous polynomial system solving Application to polynomial minimization, pp.115-117
URL : https://hal.archives-ouvertes.fr/hal-01319729

M. Sagraloff and K. Mehlhorn, Computing real roots of real polynomials, Journal of Symbolic Computation, vol.73, issue.133, pp.46-86, 2016.
DOI : 10.1016/j.jsc.2015.03.004

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

B. Salvy and P. Zimmermann, GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable, ACM Transactions on Mathematical Software, vol.20, issue.2, pp.163-177, 1994.
DOI : 10.1145/178365.178368

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

É. Schost, Sur la résolution des systèmes polynomiaux à paramétres, p.135

V. Shoup, A fast deterministic algorithm for factoring polynomials over finite fields of small characteristic, Proceedings of the 1991 international symposium on Symbolic and algebraic computation , ISSAC '91, pp.14-21, 1991.
DOI : 10.1145/120694.120697

C. L. Siegel, Über einige Anwendungen diophantischer Approximationen [reprint of Abhandlungen der Preuï¿¿ischen Akademie der Wissenschaften. Physikalisch-mathematische Klasse, On some applications of Diophantine approximations.V ol.2.2014, pp.81-138, 1929.

M. Soittola, Positive rational sequences, Theoretical Computer Science, vol.2, issue.3, pp.317-322, 1976.
DOI : 10.1016/0304-3975(76)90084-0

URL : http://doi.org/10.1016/0304-3975(76)90084-0

R. P. Stanley, Differentiably Finite Power Series, European Journal of Combinatorics, vol.1, issue.2, pp.175-18880051, 1980.
DOI : 10.1016/S0195-6698(80)80051-5

URL : http://doi.org/10.1016/s0195-6698(80)80051-5

R. P. Stanley, Enumerative combinatorics With a foreword by Gian- Carlo Rota and appendix 1 by Sergey Fomin, 1999.

R. P. Stanley, Enumerative combinatorics, p.626

J. Stirling, Methodus Differentialis: sive Tractatus de Summatione et Interpolatione Serierum Infinitarium. 1730 (cit, p.26

B. Sturmfels, Solving systems of polynomial equations, Published for the Conference Board of the Mathematical Sciences, 2002.
DOI : 10.1090/cbms/097

T. Theobald, Computing Amoebas, Experimental Mathematics, vol.151, issue.4, pp.513-526, 2002.
DOI : 10.1145/317275.317286

W. Loring and . Tu, An introduction to manifolds. Second, 2011.

I. Tweddle, James Stirling's Methodus differentialis An annotated translation of Stirling's text, 2003.
DOI : 10.1007/978-1-4471-0021-8

A. G. Vitushkin, Several complex variables. I Introduction to complex analysis. Translation by, p.248, 1990.

W. Wasow, Asymptotic expansions for ordinary differential equations, p.362, 1965.

H. Whitney, Tangents to an analytic variety, Ann. of Math, issue.2, pp.81-496, 1965.
DOI : 10.1007/978-1-4612-2972-8_34

W. A. Whitworth, Arrangements of m things of one sort and n things of another sort under certain conditions of priority, pp.105-114, 1878.

W. Timo-de, On the Geometry, Topology and Approximation of Amoebas, 2013.

G. Xin, The ring of Malcev-Neumann series and the residue theorem Thesis (Ph.D.) ? Brandeis University

D. Zeilberger, A holonomic systems approach to special functions identities, Journal of Computational and Applied Mathematics, vol.32, issue.3, pp.321-368, 1990.
DOI : 10.1016/0377-0427(90)90042-X

URL : http://doi.org/10.1016/0377-0427(90)90042-x