On the existence of telescopers for mixed hypergeometric terms

Abstract : We present a criterion for the existence of telescopers for mixed hypergeometric terms, which is based on additive and multiplicative decompositions. The criterion enables us to determine the termination of Zeilberger's algorithms for mixed hypergeometric inputs, and to verify that certain indefinite sums do not satisfy any polynomial differential equation.
Document type :
Journal articles
Liste complète des métadonnées

Cited literature [40 references]  Display  Hide  Download

https://hal.inria.fr/hal-00991211
Contributor : Frédéric Chyzak <>
Submitted on : Wednesday, May 14, 2014 - 10:37:46 PM
Last modification on : Monday, February 18, 2019 - 11:08:03 AM
Document(s) archivé(s) le : Thursday, August 14, 2014 - 12:20:22 PM

File

criteria.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00991211, version 1

Collections

Citation

Shaoshi Chen, Frédéric Chyzak, Ruyong Feng, Guofeng Fu, Ziming Li. On the existence of telescopers for mixed hypergeometric terms. Journal of Symbolic Computation, Elsevier, 2014. ⟨hal-00991211⟩

Share

Metrics

Record views

325

Files downloads

256