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

An algorithmic proof theory for hypergeometric (ordinary and “q”) multisum/integral identities

Herbert S. Wilf, Doron Zeilberger · Inventiones mathematicae · 1992 · 413 citations

Natural Sciences, Computer Science, Mathematics +16

Some Conjectures for Root Systems

I. G. Macdonald · SIAM Journal on Mathematical Analysis · 1982 · 275 citations

Natural Sciences, Mathematics, Physics +7

The method of differentiating under the integral sign

Gert Almkvist, Doron Zeilberger · Journal of Symbolic Computation · 1990 · 157 citations

Natural Sciences, Mathematics, Differential Equations +5

Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type

Peter Paule · The Electronic Journal of Combinatorics · 1994 · 57 citations

Natural Sciences, Computer Science, Mathematics +8

Sharp upper bounds for the orders of the recurrences output by the Zeilberger and <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>q</mml:mi></mml:math>-Zeilberger algorithms

Mohamud Mohammed, Doron Zeilberger · Journal of Symbolic Computation · 2004 · 39 citations

Computing, Computer Science, Mathematics +9