SageMath 中多元解析组合学的严格实现
组合数学
2023-09-04 v2 符号计算
摘要
我们为 SageMath 计算机代数系统引入新的 sage_acsv 包，使用户能严格计算具有有理生成函数的多种多元序列的渐近性。利用 Sage 对代数数域上精确计算的支持，该包提供了多元解析组合学理论算法的首个严格实现。
引用
@article{arxiv.2303.09603,
title = {Rigorous Analytic Combinatorics in Several Variables in SageMath},
author = {Benjamin Hackl and Andrew Luo and Stephen Melczer and Jesse Selover and Elaine Wong},
journal= {arXiv preprint arXiv:2303.09603},
year = {2023}
}
备注
8 pages; Package: https://pypi.org/project/sage-acsv/