A Non-Holonomic Systems Approach to Special Function Identities

Abstract : We extend Zeilberger's approach to special function identities to cases that are not holonomic. The method of creative telescoping is thus applied to definite sums or integrals involving Stirling or Bernoulli numbers, incomplete Gamma function or polylogarithms, which are not covered by the holonomic framework. The basic idea is to take into account the dimension of appropriate ideals in Ore algebras. This unifies several earlier extensions and provides algorithms for summation and integration in classes that had not been accessible to computer algebra before.
Type de document :
Communication dans un congrès
May, John. ISSAC'09 - 34th International Symposium on Symbolic and Algebraic Computation, Jul 2009, Seoul, South Korea. ACM Press, pp.111-118, 2009, ISSAC'09 - Proceedings of the thirty-fourth International Symposium on Symbolic and Algebraic Computation
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00376526
Contributeur : Bruno Salvy <>
Soumis le : vendredi 17 avril 2009 - 18:13:00
Dernière modification le : mardi 17 avril 2018 - 11:28:41
Document(s) archivé(s) le : jeudi 10 juin 2010 - 19:00:20

Fichiers

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

Identifiants

  • HAL Id : inria-00376526, version 1
  • ARXIV : 0904.2761

Collections

Citation

Frédéric Chyzak, Manuel Kauers, Bruno Salvy. A Non-Holonomic Systems Approach to Special Function Identities. May, John. ISSAC'09 - 34th International Symposium on Symbolic and Algebraic Computation, Jul 2009, Seoul, South Korea. ACM Press, pp.111-118, 2009, ISSAC'09 - Proceedings of the thirty-fourth International Symposium on Symbolic and Algebraic Computation. 〈inria-00376526〉

Partager

Métriques

Consultations de la notice

287

Téléchargements de fichiers

170