Alin Bostan


Chargé de recherche
SpecFun
INRIA Saclay Île-de-France
Bâtiment Alan Turing
1 rue Honoré d'Estienne d'Orves
91120 Palaiseau, France
Tél : +33 1 69 35 69 76
Fax : +33 1 69 35 69 69
E-mail : Alin.Bostan@inria.fr
E620 2458 6849 93D6 5763 8EEA 8983 A000 2639 EA9C


Alin Bostan (2014)
 

Publications
  • A human proof of Gessel's lattice path conjecture.
    À paraître dans Transactions of the American Mathematical Society.
    Avec Irina Kurkova, Kilian Raschel : [PDF].

  • On 3-dimensional lattice walks confined to the positive octant.
    À paraître dans Annals of Combinatorics.
    Avec Mireille Bousquet-Mélou, Manuel Kauers, Stephen Melczer : [PDF].

  • Diagonals of rational functions and selected differential Galois groups.
    Journal of Physics A: Mathematical and Theoretical, vol. 48, no. 50, pp. 504001–504030, 2015.
    Exactly solved models and beyond: a special issue in honour of R J Baxter's 75th birthday.
    Avec Salah Boukraa, Jean-Marie Maillard, Jacques-Arthur Weil : [PDF],

  • A fast algorithm for computing the p-curvature.
    Proceedings ISSAC'15, pp. 69–76, ACM Press, 2015.
    Avec Xavier Caruso, Éric Schost : [PDF].

  • Algebraic Diagonals and Walks.
    Proceedings ISSAC'15, pp. 77–84, ACM Press, 2015.
    Avec Louis Dumont, Bruno Salvy : [PDF].

  • Computer Algebra for Lattice Path Combinatorics.
    Cours dispensé au 74ème Séminaire Lotharingien de Combinatoire du 23 au 25 mars 2015.
    Transparents de l'exposé : Part I (General presentation), Part II (Guess'n'Prove), Part III (Creative telescoping).

  • Compter les excursions sur un échiquier.
    Pour la Science, no. 449, pp. 40–46, 2015.
    Avec Kilian Raschel.

  • Efficient Algorithms for Computing Rational First Integrals and Darboux Polynomials of Planar Polynomial Vector Fields.
    Mathematics of Computation, 2015.
    Avec Guillaume Chèze, Thomas Cluzeau, Jacques-Arthur Weil : [PDF].

  • A fast algorithm for computing the characteristic polynomial of the p-curvature.
    Proceedings ISSAC'14, pp. 59–66, ACM Press, 2014.
    Avec Xavier Caruso, Éric Schost : [PDF].

  • Computing necessary integrability conditions for planar parametrized homogeneous potentials.
    Proceedings ISSAC'14, pp. 67–74, ACM Press, 2014.
    Avec Thierry Combot, Mohab Safey El Din : [PDF].

  • Non-D-finite excursions in the quarter plane.
    Journal of Combinatorial Theory Series A, vol. 121, pp. 45–63, 2014.
    Avec Kilian Raschel, Bruno Salvy : [PDF], [Bibtex].

  • Creative telescoping for rational functions using the Griffiths-Dwork method.
    Proceedings ISSAC'13, pp. 93–100, ACM Press, 2013.
    Avec Pierre Lairez, Bruno Salvy : [PDF], [BibTex].

  • Complexity Estimates for Two Uncoupling Algorithms.
    Proceedings ISSAC'13, pp. 85–92, ACM Press, 2013.
    Avec Frédéric Chyzak, Élie de Panafieu : [PDF], [BibTex].

  • Hermite reduction and creative telescoping for hyperexponential functions.
    Proceedings ISSAC'13, pp. 77–84, ACM Press, 2013.
    Avec Shaoshi Chen, Frédéric Chyzak, Ziming Li, Guoce Xin : [PDF], [BibTex].

  • Ising n-fold integrals as diagonals of rational functions and integrality of series expansions.
    Journal of Physics A: Mathematical and Theoretical, vol. 46, no. 18, pp. 185202–185245, 2013.
    Avec Salah Boukraa, Gilles Christol, Saoud Hassani, Jean-Marie Maillard : [PDF], [BibTex].

  • Quasi-optimal multiplication of linear differential operators.
    Proceedings FOCS'12 , pp. 524–530, 2012.
    Avec Alexandre Benoit, Joris van der Hoeven : [PDF], [Bibtex].

  • Power Series Solutions of Singular (q)-Differential Equations.
    Proceedings ISSAC'12, pp. 107–114, ACM Press, 2012.
    Avec Muhammad Chowdhury, Romain Lebreton, Bruno Salvy, Éric Schost : [PDF], [BibTex].

  • Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators.
    Proceedings ISSAC'12, pp. 99–106, ACM Press, 2012.
    Avec Frédéric Chyzak, Ziming Li, Bruno Salvy : [PDF], [BibTex].

  • Calcul Formel pour la combinatoire.
    Cours dispensé aux Journées ALEA 2012.
    Avec Bruno Salvy.
    Transparents de l'exposé : I, II. Séance de TP : énoncé, solution.

  • A binomial-like matrix equation.
    American Mathematical Monthly, vol. 119, pp. 593–597, 2012.
    Avec Thierry Combot : [PDF], [BibTex].

  • Explicit formula for the generating series of diagonal 3D rook paths.
    Séminaire Lotharingien de Combinatoire, vol. 66, pp. 1–27, 2011.
    Avec Frédéric Chyzak, Mark van Hoeij, Lucien Pech : [PDF], [BibTex].

  • Homotopy techniques for multiplication modulo triangular sets.
    Journal of Symbolic Computation, vol. 46, no. 12, pp. 1378–1402, 2011
    Avec Muhammad Chowdhury, Joris van der Hoeven, Éric Schost : [PDF], [BibTex].

  • The Ising model: from elliptic curves to modular forms and Calabi-Yau equations.
    Journal of Physics A: Mathematical and Theoretical, vol. 44, no. 4, 045204 (44pp), 2011.
    Avec S. Boukraa, S. Hassani,
    M. van Hoeij, J.-M. Maillard, J.-A. Weil and N. Zenine : [PDF], [BibTex].

  • Generating functions of Chebyshev-like polynomials.
    International Journal of Number Theory, vol. 6, no. 7, pp. 1659–1667, 2010.
    Avec Bruno Salvy, Khang Tran : [PDF], [BibTex].

  • Wronskians and linear independence.
    American Mathematical Monthly, vol. 117, no. 8, pp. 722–727, 2010.
    Avec Philippe Dumas : [PDF], [BibTex].

  • Complexity of Creative Telescoping for Bivariate Rational Functions.
    Proceedings ISSAC'10, pp. 203–210, ACM Press, 2010.
    Avec Shaoshi Chen, Frédéric Chyzak, Ziming Li : [PDF], [BibTex].

  • Renormalization, isogenies and rational symmetries of differential equations.
    Advances in Mathematical Physics, vol. 2010, Article ID 941560, 44 pages, 2010.
    Avec S. Boukraa, S. Hassani, J.-M. Maillard,
    J.-A. Weil, N. Zenine and N. Abarenkova : [PDF], [BibTex].

  • Algorithmes rapides pour les polynômes, séries formelles etmatrices.
    Notes du cours dispensé aux Journées Nationales du Calcul Formel 2010.
    Les cours du CIRM, vol. 1, no. 2, pp. 75–262, 2010.
    Document du cours et transparents de l'exposé, [BibTex].

  • The complete generating function for Gessel walks is algebraic.
    Proceedings of the American Mathematical Society, vol. 138, no. 9, pp. 3063–3078, 2010.
    Avec Manuel Kauers, Mark van Hoeij : [PDF], [BibTex].

  • Fast Conversion Algorithms for Orthogonal Polynomials.
    Linear Algebra and its Applications, vol. 432, no. 1, pp. 249–258, 2010.
    Avec Bruno Salvy, Éric Schost : [PDF], [BibTex].

  • High order Fuchsian equations for the square lattice Ising model: \tilde{\chi}^{(5)} .
    Journal of Physics A: Mathematical and Theoretical, vol. 42, no. 27, 275209 (32pp), 2009.
    Avec S. Boukraa, A. J. Guttmann, S. Hassani, I. Jensen, J.-M. Maillard and N. Zenine : [PDF], [BibTex].

  • Automatic Classification of Restricted Lattice Walks.
    Proceedings FPSAC'09, Discrete Mathematics and Theoretical Computer Science, pp. 203–217, 2009.
    Avec Manuel Kauers : [PDF], [BibTex].

  • Fast algorithms for differential equations in positive characteristic.
    Proceedings ISSAC'09, pp. 47–54, ACM Press, 2009.
    Avec Éric Schost : [PDF], [BibTex].

  • Globally nilpotent differential operators and the square Ising model.
    Journal of Physics A: Mathematical and Theoretical, vol. 42, no. 12, pp. 125206–125255, 2009.
    Avec S. Boukraa, S. Hassani, J.-M. Maillard, J.-A. Weil and N. Zenine : [PDF], [BibTex].

  • A simple and fast algorithm for computing exponentials of power series.
    Information Processing Letters, vol. 109, no. 13, pp. 754–756, 2009.
    Avec Éric Schost : [PDF], [BibTex].

  • Solving structured linear systems with large displacement rank.
    Theoretical Computer Science, vol. 407, no. 1–3, pp. 155–181, 2008.
    Avec Claude-Pierre Jeannerod, Éric Schost : [PDF], [BibTex].

  • Power Series Composition and Change of Basis.
    Proceedings ISSAC'08, pp. 269–276, ACM Press, 2008.
    Avec Bruno Salvy, Éric Schost : [PDF], [BibTex].

  • Products of Ordinary Differential Operators by Evaluation and Interpolation.
    Proceedings ISSAC'08, pp. 23–30, ACM Press, 2008.
    Avec Frédéric Chyzak, Nicolas Le Roux : [PDF], [BibTex].

  • Fast algorithms for computing isogenies between elliptic curves.
    Mathematics of Computation, vol. 77, no. 263, pp. 1755–1778, 2008.
    Avec François Morain, Bruno Salvy, Éric Schost : [PDF], [BibTex].

  • Solving Toeplitz- and Vandermonde-like Linear Systems with Large Displacement Rank.
    Proceedings ISSAC'07, pp. 33–40, ACM Press, 2007.
    Avec Claude-Pierre Jeannerod, Éric Schost : [PDF], [BibTex].

  • Differential equations for algebraic functions.
    Proceedings ISSAC'07, pp. 25–32, ACM Press, 2007.
    Avec Frédéric Chyzak, Grégoire Lecerf, Bruno Salvy, Éric Schost : [PDF], [BibTex].

  • Linear recurrences with polynomial coefficients and application to integer factorization and Cartier-Manin operator.
    SIAM Journal on Computing, vol. 36, no. 6, pp. 1777–1806, 2007.
    Avec Pierrick Gaudry, Éric Schost : [PDF], [BibTex].

  • Fast computation of power series solutions of systems of differential equations.
    Proceedings SODA'07, pp. 1012–1021, SIAM Press, 2007.
    Avec F. Chyzak, F. Ollivier, B. Salvy, É. Schost, A. Sedoglavic : [PDF], [BibTex].

  • D-finitude : algorithmes et applications.
    Notes du cours dispensé à l'École Jeunes Chercheurs Informatique Mathématique 2007.
    Avec Bruno Salvy et Frédéric Chyzak.
    Document du cours et transparents des exposés.

  • Low Complexity Algorithms for Linear Recurrences.
    Proceedings ISSAC'06, pp. 31–38, ACM Press, 2006.
    Avec Frédéric Chyzak, Thomas Cluzeau, Bruno Salvy : [PDF], [BibTex].

  • Fast Computation of Special Resultants.
    Journal of Symbolic Computation, vol. 41, no. 1, pp. 1–29, 2006.
    Avec Philippe Flajolet, Bruno Salvy, Éric Schost : [PDF], [BibTex].

  • Fast algorithms for polynomial solutions of linear differential equations.
    Proceedings ISSAC'05, pp. 45–52, ACM Press, 2005.
    Avec Thomas Cluzeau, Bruno Salvy : [PDF], [BibTex].

  • From Newton sums to coefficients: complexity issues in characteristic p.
    Proceedings MEGA'05, 2005.
    Avec Laureano González-Vega, Hervé Perdry, Éric Schost : [PDF], [BibTex].

  • Polynomial evaluation and interpolation on special sets of points.
    Journal of Complexity, vol. 21, no. 4, pp. 420–446, 2005.
    Avec Éric Schost : [PDF], [BibTex].

  • Linear recurrences with polynomial coefficients and computation of the Cartier-Manin operator on hyperelliptic curves.
    Proceedings Fq7, Lecture Notes in Computer Science, vol. 2948, pp. 40–58, Springer, 2004.
    Avec Pierrick Gaudry, Éric Schost : [PDF], [BibTeX].

  • On the complexities of multipoint evaluation and interpolation.
    Theoretical Computer Science, vol. 329, issues 1–3, pp. 223–235, 2004.
    Avec Éric Schost : [PDF], [BibTex].

  • Complexity issues in bivariate polynomial factorization.
    Proceedings ISSAC'04, pp. 42–49, ACM Press, 2004.
    Avec Grégoire Lecerf, Bruno Salvy, Éric Schost, Bernd Wiebelt : [PDF], [BibTex].

  • Tellegen's Principle into Practice.
    Proceedings ISSAC'03, pp. 37–44, ACM Press, 2003.
    Avec Grégoire Lecerf, Éric Schost : [PDF], [BibTeX].
    ISSAC 2003 Distinguished Student Author Award.

  • Fast Algorithms for Zero-Dimensional Polynomial Systems Using Duality .
    Applicable Algebra in Engineering, Communication and Computing, vol. 14, no. 4, pp. 239–272, 2003.
    Avec Bruno Salvy, Éric Schost : [PDF], [BibTeX].

  • Prépublications
  • Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity.
    Avec Louis Dumont, Bruno Salvy : [PDF],

  • Multiple binomial sums.
    Avec Pierre Lairez, Bruno Salvy : [PDF],

  • Thèse de doctorat sous la direction de Marc Giusti et de Bruno Salvy, soutenue le 9 décembre 2003.
    Prix de thèse 2004 de l'Association française d'informatique fondamentale (AFIF).
    Prix de thèse 2004 de l'École polytechnique.
    Document de thèse
    , résumé, table des matières et transparents de la soutenance.