Ekhad, Shalosh B.; Majewicz, John E. A short WZ-style proof of Abel’s identity. (English) Zbl 0851.05010 Electron. J. Comb. 3, No. 2, Research paper R16, 1 p. (1996); printed version J. Comb. 3, No. 2, 423 (1996). Summary: Using a certification procedure for Abel-type sums, we present a computerized proof of Abel’s identity. Cited in 1 Document MSC: 05A19 Combinatorial identities, bijective combinatorics Keywords:Abel-type sums; Abel’s identity PDFBibTeX XML Full Text: EuDML EMIS