A short WZ-style proof of Abel's identity
Summary: Using a certification procedure for Abel-type sums, we present a computerized proof of Abel's identity.
scientific article; zbMATH DE number 907655