Indexed metadata
A Short WZ-style Proof of Abel's Identity
Shalosh B. Ekhad, J. E. Majewicz
Source abstract
Using a certification procedure for Abel-type sums, we present a computerized proof of Abel's identity.
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.