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.

翻译：我们为SageMath计算机代数系统引入了新的sage_acsv包，使用户能够严格计算具有有理生成函数的大类多元序列的渐近性质。借助Sage在代数数域上精确计算的支持，该包首次提供了多变量解析组合学理论的算法严格实现。