English

On the Existence of Telescopers for Mixed Hypergeometric Terms

Symbolic Computation 2012-11-14 v2 Combinatorics

Abstract

We present a criterion for the existence of telescopers for mixed hypergeometric terms, which is based on multiplicative and additive decompositions. The criterion enables us to determine the termination of Zeilberger's algorithms for mixed hypergeometric inputs.

Keywords

Cite

@article{arxiv.1211.2430,
  title  = {On the Existence of Telescopers for Mixed Hypergeometric Terms},
  author = {Shaoshi Chen and Frédéric Chyzak and Ruyong Feng and Guofeng Fu and Ziming Li},
  journal= {arXiv preprint arXiv:1211.2430},
  year   = {2012}
}