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.
Type de document :
Article dans une revue
Journal of Symbolic Computation, Elsevier, 2014
Liste complète des métadonnées

Littérature citée [40 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00991211
Contributeur : Frédéric Chyzak <>
Soumis le : mercredi 14 mai 2014 - 22:37:46
Dernière modification le : mercredi 9 mai 2018 - 12:48:06
Document(s) archivé(s) le : jeudi 14 août 2014 - 12:20:22

Fichier

criteria.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

299

Téléchargements de fichiers

186