Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory

Advances in Applied Mathematics

Volumn 37, Issue 2, 2006, Pages 139-152

  Apagodu, Moa ^a   Zeilberger, Doron ^a  

^a RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; INTEGRATION;

ALMKVIST-ZEILBERGER ALGORITHMS; HYPERGEOMETRIC SUMMANDS; WILF-ZEILBERGER THEORY;

ALGORITHMS;

EID: 33746704438     PISSN: 01968858     EISSN: 10902074     Source Type: Journal    
DOI: 10.1016/j.aam.2005.09.003     Document Type: Article

References (8)

1. Almkvist G., and Zeilberger D. The method of differentiating under the integral sign. J. Symbolic Comput. 10 (1990) 571-591
2. W. Beckner, A. Regev, Unpublished, untitled, and undated manuscript, c. 1980
3. Macdonald I.G. Some conjectures for root systems. SIAM J. Math. Anal. 13 (1982) 988-1007
4. Mohammed M., and Zeilberger D. Sharp upper bounds for the orders of the recurrences outputted by the Zeilberger and q-Zeilberger algorithms. J. Symbolic Comput. 39 (2005) 201-207
5. Paule P. Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type. Electron. J. Combin. 1 (1994) R10
6. Regev A. Combinatorial sums, identities and trace identities of the 2 × 2 matrices. Adv. Math. 46 (1982) 230-240
7. Tefera A. MultInt, a Maple package for multiple integration by the WZ method. J. Symbolic Comput. 34 (2002) 329-353
8. Wilf H.S., and Zeilberger D. An algorithmic proof theory for hypergeometric (ordinary and "q") multisum/integral identities. Invent. Math. 108 (1992) 575-633 [Available on-line from the authors' websites]