A Short WZ-style Proof of Abel's Identity
Abstract
Using a certification procedure for Abel-type sums, we present a computerized proof of Abel's identity.
Published
1995-07-25
Article Number
R16