关于决定幂级数代数性的研究
数论
2025-04-24 v1 符号计算
经典分析与常微分方程
摘要
众所周知，代数幂级数是微分有限的 (D-finite)：它们满足带有多项式系数的线性微分方程。反问题，即判定给定的 D-finite 幂级数为代数还是超几何，备受困扰。我们证明了该问题是可判定的：我们给出两种理论算法和一个在实践中高效的超几roni性测试。
引用
@article{arxiv.2504.16697,
title = {On deciding transcendence of power series},
author = {Alin Bostan and Bruno Salvy and Michael F. Singer},
journal= {arXiv preprint arXiv:2504.16697},
year = {2025}
}
备注
28 pages