A short WZ-style proof of Abel's identity (Q1918892)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A short WZ-style proof of Abel's identity |
scientific article |
Statements
A short WZ-style proof of Abel's identity (English)
0 references
21 July 1996
0 references
Summary: Using a certification procedure for Abel-type sums, we present a computerized proof of Abel's identity.
0 references
Abel-type sums
0 references
Abel's identity
0 references
