Rigorous Analytic Combinatorics in Several Variables in SageMath

Benjamin Hackl, Andrew Luo, Stephen Melczer +2

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…