A fast algorithm for proving terminating hypergeometric identities

  title={A fast algorithm for proving terminating hypergeometric identities},
  author={Doron Zeilberger},
  journal={Discrete Mathematics},
An algorithm for proving terminating hypergeometric identities, and thus binomial coefficients identities, is presented. It is based upon Gosper's algorithm for indefinite hypergeometric summation. A MAPLE program implementing this algorithm succeeded in proving almost all known identities. Hitherto the proof of such identities was an exclusively human endeavor. 
Highly Influential
This paper has highly influenced 19 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 12 references

q-Series: their development and applications in analysis, number theory, combinatorics, physics, and computer algebra, CBMS series 66 (Amer

  • G. E. Andrews
  • Math. Sot., Providence,
  • 1986

Strange evaluations of hypergeometric series

  • I. Gessel, D. Stanton
  • SIAM J. Math. Anal
  • 1982

A proof that Euler missed. Apery’s proof of the irrationality of c(3)

  • A. van der Poorten
  • Math. Intell
  • 1979

Decision procedures for indefinite hypergometric summation

  • A. van der Poorten
  • Proc . Natl . Acad . Sci . USA
  • 1978

Gosper, Decision procedures for indefinite hypergometric summation

  • R. W. lo
  • Proc. Natl. Acad. Sci. USA
  • 1978

Modules over a ring of differential operators, study of the fundamental solutions of equations with constant coefficients, Functional Analysis and Its Applications

  • I. N. Bernstein
  • 1971

Special Functions (Macmillan, New York, 1960)

  • E. D. Rainville
  • (Reprinted: Chelsea, Bronx,
  • 1971

An idefinite bibasic summation formula and some quadratic , cubic , and quartic summation and transformation formulas , preprint

  • M. Rahman
  • 1969

Probltmes combinatoires de commutation et rearrangements

  • P. Cartier, D. Foata
  • Lecture Notes in Mathematics
  • 1969

Similar Papers

Loading similar papers…