论文信息 - Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory - 字舞流文

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

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

Doron Zeilberger | Moa Apagodu | D. Zeilberger | Moa Apagodu

[1] Akalu Tefera. MultInt, a MAPLE Package for Multiple Integration by the WZ Method , 2002, J. Symb. Comput..

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

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

[4] I. G. MacDonald,et al. Some Conjectures for Root Systems , 1982 .

[5] Doron Zeilberger,et al. Sharp upper bounds for the orders of the recurrences output by the Zeilberger and q-Zeilberger algorithms , 2005, J. Symb. Comput..

[6] Peter Paule,et al. Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type , 1994, Electron. J. Comb..

[7] A. Regev. Combinatorial sums, identities and trace identities of the 2 × 2 matrices , 1982 .