A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities. - Peter Paule; Markus Schorn (J. Symb. Comput., 1995)