A Non-Holonomic Systems Approach to Special Function Identities - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

A Non-Holonomic Systems Approach to Special Function Identities

Frédéric Chyzak
Manuel Kauers
  • Function : Author
  • PersonId : 859677
Bruno Salvy


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

Dates and versions

inria-00376526 , version 1 (17-04-2009)


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


Frédéric Chyzak, Manuel Kauers, Bruno Salvy. A Non-Holonomic Systems Approach to Special Function Identities. ISSAC'09 - 34th International Symposium on Symbolic and Algebraic Computation, Jul 2009, Seoul, South Korea. pp.111-118. ⟨inria-00376526⟩


131 View
151 Download



Gmail Facebook Twitter LinkedIn More