Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory. (English) Zbl 1108.05010

Summary: Algorithms for multi-sum summation and intergration of hypergeometric summands and integrands are given and sharp upper bounds for the orders are presented.


05A15 Exact enumeration problems, generating functions
Full Text: DOI


[1] Almkvist, G.; Zeilberger, D., The method of differentiating under the integral sign, J. symbolic comput., 10, 571-591, (1990) · Zbl 0717.33004
[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, 988-1007, (1982) · Zbl 0498.17006
[4] Mohammed, M.; Zeilberger, D., Sharp upper bounds for the orders of the recurrences outputted by the Zeilberger and q-Zeilberger algorithms, J. symbolic comput., 39, 201-207, (2005) · Zbl 1121.33023
[5] Paule, P., Short and easy computer proofs of the rogers – ramanujan identities and of identities of similar type, Electron. J. combin., 1, R10, (1994) · Zbl 0814.05009
[6] Regev, A., Combinatorial sums, identities and trace identities of the \(2 \times 2\) matrices, Adv. math., 46, 230-240, (1982) · Zbl 0499.16013
[7] Tefera, A., Multint, a Maple package for multiple integration by the WZ method, J. symbolic comput., 34, 329-353, (2002) · Zbl 1015.33013
[8] Wilf, H.S.; Zeilberger, D., An algorithmic proof theory for hypergeometric (ordinary and “q”) multisum/integral identities, Invent. math., 108, 575-633, (1992), [Available on-line from the authors’ websites] · Zbl 0739.05007
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.