Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Bruno Salvy Connect in order to contact the contributor
Submitted on : Friday, April 17, 2009 - 6:13:00 PM
Last modification on : Thursday, February 3, 2022 - 11:15:53 AM
Long-term archiving on: : Thursday, June 10, 2010 - 7:00:20 PM


Files produced by the author(s)


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



Record views


Files downloads