A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
scientific article; zbMATH DE number 906754