Alin Bostan


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


Alin Bostan (2018)

Évènements
  • Séminaire SpecFun Computations and Proofs.
    Co-organisé avec Frédéric Chyzak à l'Inria Saclay depuis 2012.
    Prochaine séance le lundi 24 février 2020, bât. Turing, amphi. Sophie Germain.

  • Groupe de travail Autour des marches dans le quart de plan.
    Co-organisé avec Lucia Di Vizio et Kilian Raschel à l'Institut Henri Poincaré et Inria Saclay depuis 2017.
    Prochaine séance le vendredi 28 février 2020, 10:00, Jussieu, salle 16-26-116.

  • Séminaire Différentiel.
    Co-organisé avec Lucia Di Vizio entre Univ. Versailles et Inria Saclay depuis 2018.
    Prochaine séance le 25 février 2020, à Palaiseau (bât. Turing, salle Henri Poincaré).

  • Projet ANR De rerum natura (ANR-19-CE40-0018).
    Deciding irrationality and transcendence.
    Journée de lancement le 24 février 2020, à Palaiseau (bât. Turing, amphi. Sophie Germain).

  • GDR Équations Fonctionnelles et Interactions.
    Journées 2020 du 27 au 29 mai 2020 à Strasbourg.

  • Conférence Transient Transcendence in Transylvania.
    Co-organisée avec Kilian Raschel. Posters.
    Brașov, Roumanie, 13–17 mai 2019.

    • Comités éditoriaux
  • Journal of Symbolic Computation.
    Fondé par Bruno Buchberger en 1985, JSC s’adresse aux mathématiciens et informaticiens qui s’intéressent particulièrement au calcul formel.

  • Annals of Combinatorics.
    Fondé par William Y.C. Chen en 1997, Ann. Comb. s’adresse aux mathématiciens et informaticiens qui s’intéressent particulièrement aux mathématiques combinatoires au sens large du terme.

    • Livre
  • Algorithmes Efficaces en Calcul Formel.
    Livre auto-édité, 686 pages, ISBN 979-10-699-0947-2.
    Imprimé par CreateSpace et distribué par Amazon avec une version couleur gratuite en ligne.
    Avec Frédéric Chyzak, Marc Giusti, Romain Lebreton, Grégoire Lecerf, Bruno Salvy, Éric Schost : [PDF].

    • Articles
  • Subresultants of (x-α)m and (x-β)n, Jacobi polynomials and complexity.
    Journal of Symbolic Computation, In Press, 2019.
    Avec Teresa Krick, Agnes Szanto, Marcelo Valdettaro : [PDF].

  • Appendice de l'article
    A note on gamma triangles and local gamma vectors,
    A paraître dans Annales de la faculté des sciences de Toulouse.
    Avec Frédéric Chapoton : [PDF].

  • On the least common multiple of several random integers.
    Journal of Number Theory, vol. 204, pp. 113–133, 2019.
    Avec Alexander V. Marynych, Kilian Raschel : [PDF].

  • Fast Coefficient Computation for Algebraic Power Series in Positive Characteristic.
    ANTS–XIII (Thirteenth Algorithmic Number Theory Symposium, 2018), vol. 2, no. 1, pp. 119–135, 2019.
    Avec Xavier Caruso, Gilles Christol, Philippe Dumas : [PDF].

  • Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions.
    ISSAC'18, pp. 95–102, ACM Press, 2018.
    Avec Frédéric Chyzak, Pierre Lairez, Bruno Salvy : [PDF].

  • On matrices with displacement structure: generalized operators and faster algorithms.
    SIAM Journal on Matrix Analysis and Applications, vol. 38, no. 3, pp. 733–775, 2017.
    Avec Claude-Pierre Jeannerod, Christophe Mouilleron, Éric Schost : [PDF].

  • Subresultants in multiple roots: An extremal case.
    Linear Algebra and its Applications, vol. 529, pp. 185–198, 2017.
    Avec Carlos D'Andrea, Teresa Krick, Agnes Szanto, Marcelo Valdettaro : [PDF].

  • Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity.
    Journal of Symbolic Computation, vol. 83, pp. 68–92, 2017.
    Avec Louis Dumont, Bruno Salvy : [PDF].

  • Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane.
    European Journal of Combinatorics, vol. 61, pp. 242–275, 2017.
    Avec Frédéric Chyzak, Mark van Hoeij, Manuel Kauers, Lucien Pech : [PDF].

  • Multiple binomial sums.
    Journal of Symbolic Computation, vol. 80, no. 2, pp. 351–386, 2017.
    Avec Pierre Lairez, Bruno Salvy : [PDF].

  • Computation of the Similarity Class of the p-Curvature.
    Proceedings ISSAC'16, pp. 111–118, ACM Press, 2016.
    Avec Xavier Caruso, Éric Schost : [PDF].

  • Fast Computation of the Nth Term of an Algebraic Series over a Finite Prime Field.
    Proceedings ISSAC'16, pp. 119–126, ACM Press, 2016.
    Avec Gilles Christol, Philippe Dumas : [PDF].

  • Efficient Algorithms for Mixed Creative Telescoping.
    Proceedings ISSAC'16, pp. 127–134, ACM Press, 2016.
    Avec Louis Dumont, Bruno Salvy : [PDF].

  • A human proof of Gessel's lattice path conjecture.
    Transactions of the American Mathematical Society, vol. 369, no. 2, pp. 1365–1393, 2017.
    Avec Irina Kurkova, Kilian Raschel : [PDF].

  • On 3-dimensional lattice walks confined to the positive octant.
    Annals of Combinatorics, vol. 20, no. 4, pp. 661–704, 2016.
    Avec Mireille Bousquet-Mélou, Manuel Kauers, Stephen Melczer : [PDF].

  • Efficient Algorithms for Computing Rational First Integrals and Darboux Polynomials of Planar Polynomial Vector Fields.
    Mathematics of Computation, vol. 85, no. 299, pp. 1393–1425, 2016.
    Avec Guillaume Chèze, Thomas Cluzeau, Jacques-Arthur Weil : [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].

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

  • 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].

  • Ising n-fold integrals as diagonals of rational functions and integrality of series expansions: integrality versus modularity.
    Arxiv preprint, 100 pages, 2012.
    Avec Salah Boukraa, Gilles Christol, Saoud Hassani, Jean-Marie Maillard : [PDF].

  • 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].

  • 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].

  • 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].

  • 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].

    • Cours
  • Algorithmes efficaces en calcul formel.
    Cours dispensé au Master Parisien de Recherche en Informatique (MPRI) depuis 2006.
    Page du cours : C-2-22.

  • Modern Algorithms for Symbolic Summation and Integration.
    Cours dispensé au Master d'Informatique Fondamentale de l'ENS de Lyon depuis 2019.
    Page du cours : CR-11.

  • Efficient experimental mathematics for combinatorics and number theory.
    Cours dispensé lors de la Vienna Summer School of Mathematics in Weissensee du 23 au 27 septembre 2019.
    Page du cours.
    Transparents du cours : I (Context, Motivation, Examples), II (Experimental Mathematics for Combinatorics), III (Inside the Experimental Math. Toolbox). Exercices : I, II,

  • Algebraicity and transcendence of power series: combinatorial and computational aspects.
    Cours dispensé lors de la 3rd Algorithmic and Enumerative Combinatorics Summer School 2016 du 1er au 5 août 2016.
    Transparents du cours : I (Context and Examples), II (Properties and Criteria, 1), III (Properties and Criteria, 2), IV (Algorithmic Proofs of Algebraicity), V (Transcendence in Lattice Path Combinatorics). Exercices : I, II,

  • 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é : I (General presentation), II (Guess'n'Prove), III (Creative telescoping).

  • 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.

  • Algorithmes rapides pour les polynômes, séries formelles et matrices.
    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].

  • 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.

    • Prépublications
  • Counting walks with large steps in an orthant.
    60 pages, soumis, 2018.
    Avec Mireille Bousquet-Mélou, Stephen Melczer : [PDF].

  • Computer algebra for lattice path combinatorics.
    80 pages, soumis, 2019.

  • Improved algorithms for left factorial residues.
    5 pages, soumis, 2019.
    Avec Vladica Andrejić, Milos Tatarevic : [PDF].

  • Explicit degree bounds for right factors of linear differential operators.
    11 pages, soumis, 2019.
    Avec Tanguy Rivoal, Bruno Salvy : [PDF].

  • On sequences associated to the invariant theory of rank two simple Lie algebras.
    12 pages, soumis, 2019.
    Avec Jordan Tirrell, Bruce W. Westbury, Yi Zhang : [PDF].

  • Appendice de l'article
    Martin boundary of killed random walks on isoradial graphs,
    Avec Cédric Boutillier et Kilian Raschel: [PDF].

  • Stieltjes moment sequences for pattern-avoiding permutations.
    44 pages, soumis, 2020.
    Avec Andrew Elvey Price, Anthony John Guttmann, Jean-Marie Maillard : [PDF].

  • Computing the N-th term of a q-holonomic sequence.
    8 pages, soumis, 2020. [PDF].

    • Thèses
  • Habilitation à Diriger des Recherches.
    Soutenue le 15 décembre 2017 à l'Université Paris 13.
    Mémoire HDR et transparents de la soutenance.

  • Thèse de doctorat sous la direction de Marc Giusti et de Bruno Salvy.
    Soutenue le 9 décembre 2003 à l'École polytechnique.
    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.