Computer Algebra in the Service of Enumerative Combinatorics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Computer Algebra in the Service of Enumerative Combinatorics

Alin Bostan
  • Fonction : Auteur
  • PersonId : 831654

Résumé

Classifying lattice walks in restricted lattices is an important problem in enumerative combinatorics. Recently, computer algebra has been used to explore and to solve a number of difficult questions related to lattice walks. We give an overview of recent results on structural properties (e.g., algebraicity versus transcendence) and on explicit formulas for generating functions of walks with small steps in the quarter plane. In doing so, we emphasize the algorithmic nature of the methodology, especially two important paradigms: "guess-and-prove" and "creative telescoping".
Fichier principal
Vignette du fichier
issac21-hal.pdf (1.31 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03427873 , version 1 (14-11-2021)

Identifiants

Citer

Alin Bostan. Computer Algebra in the Service of Enumerative Combinatorics. International Symposium on Symbolic and Algebraic Computation (ISSAC), Jul 2021, Saint Petersburg, Russia. pp. 1-8, ⟨10.1145/3452143.3465507⟩. ⟨hal-03427873⟩
26 Consultations
67 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More