何时可以确定一个P-有限序列是正的？
摘要：多项式系数定义的线性递归方程生成的序列（P-有限序列）的正性可以通过两种算法来证明。这两种算法的共同之处在于虽然它们在许多示例上是成功的，但并不能保证它们终止，实际上它们并不会对每个输入进行终止。对于一些限定的三阶以内的P-有限递归方程类，我们提供了一些先验条件来保证算法的终止。
作者：Manuel Kauers and Veronika Pillwein
论文ID：1005.0600
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2010-05-05