Finding Identities with the WZ Method

Extending the work of Wilf and Zeilberger on WZ-pairs, we describe how new terminating hypergeometric series identities can be derived by duality from known identities. A large number of such identities are obtained by a Maple program that applies this method systematically.