A Fast Approach to Creative Telescoping

In this note we reinvestigate the task of computing creative telescoping relations in differential–difference operator algebras. Our approach is based on an ansatz that explicitly includes the denominators of the delta parts. We contribute several ideas of how to make an implementation of this approach reasonably fast and provide such an implementation. A selection of examples shows that it can be superior to existing methods by a large factor.

[1]  Manuel Kauers,et al.  A non-holonomic systems approach to special function identities , 2009, ISSAC '09.

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

[3]  George E. Andrews,et al.  Some Questions Concerning Computer-Generated Proofs of a Binomial Double- Sum Identy , 1993, J. Symb. Comput..

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

[5]  Doron Zeilberger,et al.  An algorithmic proof theory for hypergeometric (ordinary and “q”) multisum/integral identities , 1992 .

[6]  Nobuki Takayama,et al.  Gröbner basis, integration and transcendental functions , 1990, ISSAC '90.

[7]  Moulay A. Barkatou,et al.  On Rational Solutions of Systems of Linear Differential Equations , 1999, J. Symb. Comput..

[8]  Frits Beukers,et al.  SPECIAL FUNCTIONS (Encyclopedia of Mathematics and its Applications 71) , 2001 .

[9]  Christoph Koutschan,et al.  Advanced applications of the holonomic systems approach , 2010, ACCA.

[10]  D. Zeilberger,et al.  A Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations) , 2008, 0808.0571.

[11]  Doron Zeilberger,et al.  A Proof of George Andrews' and David Robbins' $q$-TSPP Conjecture , 2010 .

[12]  Christoph Koutschan,et al.  Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem , 2009, ArXiv.

[13]  Nobuki Takayama,et al.  An algorithm of constructing the integral of a module--an infinite dimensional analog of Gröbner basis , 1990, ISSAC '90.

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

[15]  Moulay A. Barkatou,et al.  Rational solutions of first order linear difference systems , 1998, ISSAC '98.

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