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
Complete list of metadatas

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
Long-term archiving on: 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

376

Files downloads

340