``A short computer-generated proof of Abel's identity'' (
Elect. J. Comb. 3(2)(1996)[The Foata special issue] R16),
by S. B. Ekhad and John Majewicz.
I was very frustrated that, initially, the WZ method, so successful with
hypergeometric identities, could not handle Abel-type identities.
My student, John Majewicz, found a way of enlarging the scope of
the WZ method to such. The present little note WZizes the
grand daddy of all Abel-type identities: the Abel identity itself.
.dvi version (for previewing)
Doron Zeilberger's List of Papers
Doron Zeilberger's Home Page