P-递归序列的有效界限
摘要：多项式系数的线性递归关系给出复杂序列 $(u_n)$ 作为输入，并伴随初始值，输出一个简单明确的上界 $(v_n)$，使得对于所有 $n$ 都有 $|u_n| \leq v_n$。通常情况下，此上界紧密地符合 $u_n$ 的渐近行为。我们讨论了在保证精度的情况下对幂级数的求值应用。
作者：Marc Mezzarobba and Bruno Salvy
论文ID：0904.2452
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2013-06-19