多项式系数的线性递归关系的确定和为解
摘要：给定一个具有多项式系数的线性递归算子$L$，$m \in \mathbb{N}\setminus\{0\}$，$a_1,a_2,\ldots,a_m \in \mathbb{N}\setminus\{0\}$和$b_1,b_2,\ldots,b_m \in \mathbb{K}$，我们提出了一个算法，返回一个具有有理系数的线性递归算子$L'$，对于每个序列$h$，当且仅当\[ L\left(\sum_{k=0}^\infty \prod_{i=1}^m \binom{a_i n + b_i}{k} h_k\right) = 0 \]时，$L' h = 0$。
作者：Marko Petkovv{s}ek
论文ID：1804.02964
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2018-04-10