Computer algebra in the service of enumerative combinatorics
type: Item
instance of: scholarly article
title: Computer algebra in the service of enumerative combinatorics
DOI: 10.1145/3452143.3465507
author: Alin Bostan
publication date: 2025-01-20T00:00:00Z
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 7970448
zbMATH Keywords: algebraic functions
zbMATH Keywords: computer algebra
zbMATH Keywords: creative telescoping
zbMATH Keywords: \(d\)-finite functions
zbMATH Keywords: enumerative combinatorics
zbMATH Keywords: experimental mathematics
zbMATH Keywords: generating functions
zbMATH Keywords: guess-and-prove
zbMATH Keywords: lattice paths
MaRDI profile type: MaRDI publication profile
Wikidata QID: Q131127664
cites work: Calculating cyclotomic polynomials
cites work: Q5292368
cites work: Basic analytic combinatorics of directed lattice paths
cites work: A Uniform Approach for the Fast Computation of Matrix-Type Padé Approximants
cites work: Bijective counting of Kreweras walks and loopless triangulations
cites work: Counting quadrant walks via Tutte's invariant method
cites work: Monodromy for the hypergeometric function \(_ nF_{n-1}\)
cites work: Q5302105
cites work: Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
cites work: Q5301646
cites work: Hypergeometric expressions for generating functions of walks with small steps in the quarter plane
cites work: Fast computation of special resultants
cites work: The complete generating function for Gessel walks is algebraic
cites work: A human proof of Gessel's lattice path conjecture
cites work: Creative telescoping for rational functions using the griffiths
cites work: Non-D-finite excursions in the quarter plane
cites work: Counting Walks in the Quarter Plane
cites work: Walks in the quarter plane: Kreweras' algebraic model
cites work: Square lattice walks avoiding a quadrant
cites work: Polynomial equations with one catalytic variable, algebraic series and map enumeration
cites work: Walks with small steps in the quarter plane
cites work: Linear recurrences with constant coefficients: The multivariate case
cites work: Walks confined in a quadrant are not always D-finite
cites work: Convergence acceleration during the 20th century
cites work: Winding of simple walks on the square lattice
cites work: Some open problems related to creative telescoping
cites work: On expansion of algebraic functions in power and Puiseux series. I
cites work: An extension of Zeilberger's fast algorithm to general holonomic functions
cites work: Q4209232
cites work: Random walks in cones
cites work: Q3706275
cites work: Random Walks in the Quarter Plane
cites work: Analysis of PSLQ, an integer relation finding algorithm
cites work: Q3549563
cites work: Two Parallel Queues Created by Arrivals with Two Demands I
cites work: \(G\)-functions and multisum versus holonomic sequences
cites work: Modern computer algebra
cites work: A probabilistic method for lattice path enumeration
cites work: Computing hypergeometric solutions of second order linear differential equations using quotients of formal solutions and integral bases
cites work: Proof of Ira Gessel's lattice path conjecture
cites work: The quasi-holonomic ansatz and restricted lattice walks
cites work: A fast approach to creative telescoping
cites work: Creative Telescoping for Holonomic Functions
cites work: Lattice Path Enumeration
cites work: Solution of an enumerative problem connected with lattice paths
cites work: Second order differential equations with hypergeometric solutions of degree three
cites work: On the functions counting walks with small steps in the quarter plane
cites work: Factoring polynomials with rational coefficients
cites work: D-finite power series
cites work: Q5746149
cites work: Asymptotics of lattice walks via analytic combinatorics in several variables
cites work: Classifying lattice walks restricted to the quarter plane
cites work: Two non-holonomic lattice walks in the quarter plane
cites work: Q3903764
cites work: Q3877686
cites work: The ballot problem with three candidates
cites work: Analytic combinatorics in several variables.
cites work: General Néron desingularization and approximation
cites work: Lost (and Found) in Translation: André's Actual Method and Its Application to the Generalized Ballot Problem
cites work: Linear differential equations as a data structure
cites work: On those cases in which the Gaussian hypergeometric series represents an algebraic function of its four elements.

Computer algebra in the service of enumerative combinatorics (cites work)
cites work: The On-Line Encyclopedia of Integer Sequences

Computer algebra in the service of enumerative combinatorics (cites work)
cites work: Differentiably finite power series

Computer algebra in the service of enumerative combinatorics (cites work)
cites work: Factorization of differential operators with rational functions coefficients

Computer algebra in the service of enumerative combinatorics (cites work)
cites work: An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities

Computer algebra in the service of enumerative combinatorics (cites work)
cites work: The method of creative telescoping