三元有理函数伸缩算子存在性研究
符号计算
2020-02-18 v2 组合数学
摘要
Zeilberger 的创造性伸缩法对于组合与特殊函数恒等式的计算机生成证明至关重要。伸缩算子是通过创造性伸缩算法计算的线性微分或（-）递推算子。对给定输入类，伸缩算子何时存在以及若存在如何高效构造，是两个与创造性伸缩相关的基本问题。本文解决了含 18 种情况的三元变量有理函数伸缩算子的存在性问题。我们将存在性问题由三元情形归约到二元情形及若干相关问题。本文给出的存在性判据使我们能够确定以三元有理函数为输入的创造性伸缩算法的终止性。
引用
@article{arxiv.1901.09377,
title = {On the Existence of Telescopers for Rational Functions in Three Variables},
author = {Shaoshi Chen and Lixin Du and Rong-Hua Wang and Chaochao Zhu},
journal= {arXiv preprint arXiv:1901.09377},
year = {2020}
}
备注
30 pages