On the existence of telescopers for mixed hypergeometric terms - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Symbolic Computation Year : 2014

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.
Fichier principal
Vignette du fichier
criteria.pdf (356.04 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00991211 , version 1 (14-05-2014)

Identifiers

  • HAL Id : hal-00991211 , version 1

Cite

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, 2014. ⟨hal-00991211⟩

Collections

INRIA INRIA2
147 View
171 Download

Share

Gmail Facebook X LinkedIn More