A non-holonomic systems approach to special function identities

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.

[1]  임종인,et al.  Gröbner Bases와 응용 , 1995 .

[2]  John E. Majewicz.  WZ-style certification and sister celine's technique for abel-type sums , 1996 .

[3]  Kurt Wegschaider,et al.  Computer Generated Proofs of Binomial Multi-Sum Identities , 1997 .

[4]  David A. Cox,et al.  Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics) , 2007 .

[5]  Doron Zeilberger,et al.  The Method of Differentiating under the Integral Sign , 1990, J. Symb. Comput..

[6]  Doron Zeilberger,et al.  A fast algorithm for proving terminating hypergeometric identities , 1990, Discret. Math..

[7]  Bruno Salvy,et al.  Non-Commutative Elimination in Ore Algebras Proves Multivariate Identities , 1998, J. Symb. Comput..

[8]  Nobuki Takayama,et al.  An Approach to the Zero Recognition Problem by Buchberger Algorithm , 1992, J. Symb. Comput..

[9]  Sergei A. Abramov,et al.  Applicability of Zeilberger's algorithm to hypergeometric terms , 2002, ISSAC '02.

[10]  David A. Cox,et al.  Ideals, Varieties, and Algorithms , 1997 .

[11]  Lisa H. Sun,et al.  Extended Zeilberger's Algorithm for Identities on Bernoulli and Euler Polynomials , 2008, 0810.0438.

[12]  A. V. Mikhalev,et al.  Differential and Difference Dimension Polynomials , 1998 .

[13]  Volker Weispfenning,et al.  Non-Commutative Gröbner Bases in Algebras of Solvable Type , 1990, J. Symb. Comput..

[14]  D. Zeilberger.  A holonomic systems approach to special functions identities , 1990 .

[15]  Frédéric Chyzak,et al.  An extension of Zeilberger's fast algorithm to general holonomic functions , 2000, Discret. Math..

[16]  Manuel Kauers,et al.  Summation algorithms for Stirling number identities , 2007, J. Symb. Comput..