摘要：解决某个给定的D-finite函数是否超越的问题在理论上是可能的，但在实践中超越证明仍然是一项挑战。通常情况下，超越性是通过检查某些不完全充分条件来证明的。本文提出了一种额外的条件，它可以捕捉到其他测试失败的一些情况。
作者：Manuel Kauers, Christoph Koutschan, Thibaut Verron
论文ID：2302.06396
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2023-02-14
PDF 下载： 英文版 中文版pdf翻译中