Rigorous Analytic Combinatorics in Several Variables in SageMath

Benjamin Hackl; Andrew Luo; Stephen Melczer; Jesse Selover; Elaine Wong

Rigorous Analytic Combinatorics in Several Variables in SageMath

Benjamin Hackl, Andrew Luo, Stephen Melczer, Jesse Selover, Elaine Wong

Discrete Algorithms

Research output: Contribution to journal › Article › peer-review

Abstract

We introduce the new sage_acsv package for the SageMath computer algebra system, allowing users to rigorously compute asymptotics for a large variety of multivariate sequences with rational generating functions. Using Sage’s support for exact computations over the algebraic number field, this package provides the first rigorous implementation of algorithms from the theory of analytic combinatorics in several variables.

Original language	English
Article number	#90
Journal	Seminaire Lotharingien de Combinatoire
Issue number	89
State	Published - 2023

Keywords

ACSV
analytic combinatorics
asymptotics
computer algebra
generating functions

Cite this

@article{65191b4fe3c34064b5edbc488889a52b,

title = "Rigorous Analytic Combinatorics in Several Variables in SageMath",

abstract = "We introduce the new sage_acsv package for the SageMath computer algebra system, allowing users to rigorously compute asymptotics for a large variety of multivariate sequences with rational generating functions. Using Sage{\textquoteright}s support for exact computations over the algebraic number field, this package provides the first rigorous implementation of algorithms from the theory of analytic combinatorics in several variables.",

keywords = "ACSV, analytic combinatorics, asymptotics, computer algebra, generating functions",

author = "Benjamin Hackl and Andrew Luo and Stephen Melczer and Jesse Selover and Elaine Wong",

year = "2023",

language = "English",

journal = "Seminaire Lotharingien de Combinatoire",

issn = "1286-4889",

number = "89",

}

TY - JOUR

T1 - Rigorous Analytic Combinatorics in Several Variables in SageMath

AU - Hackl, Benjamin

AU - Luo, Andrew

AU - Melczer, Stephen

AU - Selover, Jesse

AU - Wong, Elaine

PY - 2023

Y1 - 2023

N2 - We introduce the new sage_acsv package for the SageMath computer algebra system, allowing users to rigorously compute asymptotics for a large variety of multivariate sequences with rational generating functions. Using Sage’s support for exact computations over the algebraic number field, this package provides the first rigorous implementation of algorithms from the theory of analytic combinatorics in several variables.

AB - We introduce the new sage_acsv package for the SageMath computer algebra system, allowing users to rigorously compute asymptotics for a large variety of multivariate sequences with rational generating functions. Using Sage’s support for exact computations over the algebraic number field, this package provides the first rigorous implementation of algorithms from the theory of analytic combinatorics in several variables.

KW - ACSV

KW - analytic combinatorics

KW - asymptotics

KW - computer algebra

KW - generating functions

UR - http://www.scopus.com/inward/record.url?scp=85181919403&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:85181919403

SN - 1286-4889

JO - Seminaire Lotharingien de Combinatoire

JF - Seminaire Lotharingien de Combinatoire

IS - 89

M1 - #90

ER -

Rigorous Analytic Combinatorics in Several Variables in SageMath

Abstract

Keywords

Other files and links

Fingerprint

Cite this