A short WZ-style proof of Abel's identity

From MaRDI portal
(Redirected from Publication:1918892)





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











This page was built for publication: A short WZ-style proof of Abel's identity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1918892)