C-有限拟设与完整拟设
组合数学
2015-12-23 v1
摘要
我们展示了如何利用连续 Almkvist-Zeilberger 算法来高效发现并证明由 C-有限多项式序列（如切比雪夫多项式）的幂积分所定义序列的生成函数所满足的微分方程，由此可自动推导出这些序列自身具有多项式系数的线性递推。我们使用 Maple 包 CfiniteIntergal.txt 完整实现了该方法。
引用
@article{arxiv.1512.06902,
title = {The C-finite Ansatz Meets the Holonomic Ansatz},
author = {Shalosh B. Ekhad and Doron Zeilberger},
journal= {arXiv preprint arXiv:1512.06902},
year = {2015}
}
备注
4 pages. Accompanied by a Maple package, and sample input and output files available from http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/cfiniteI.html