A Short WZ-style Proof of Abel's Identity

Shalosh B. Ekhad, J. E. Majewicz

Abstract


Using a certification procedure for Abel-type sums, we present a computerized proof of Abel's identity.


Full Text: PDF