Concepedia

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 · 7 references

DOI

Concepts

References

7

The method of creative telescoping

Doron Zeilberger · Journal of Symbolic Computation · 1991 · 462 citations

, , +1

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

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

, , +16

Decision procedure for indefinite hypergeometric summation

R. William Gosper · Proceedings of the National Academy of Sciences · 1978 · 399 citations · Full text

, , +6

A fast algorithm for proving terminating hypergeometric identities

Doron Zeilberger · Discrete Mathematics · 1990 · 267 citations

, , +5

A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities

Peter Paule, Markus Schorn · Journal of Symbolic Computation · 1995 · 210 citations

, , +11