A purely verification proof of the first Rogers-Ramanujan identity
From MaRDI portal
Publication:914679
DOI10.1016/0097-3165(90)90038-XzbMath0702.05007MaRDI QIDQ914679
Publication date: 1990
Published in: Journal of Combinatorial Theory. Series A (Search for Journal in Brave)
Combinatorial identities, bijective combinatorics (05A19) Combinatorial aspects of partitions of integers (05A17) Recurrences (11B37)
Related Items (8)
Theorems for a price: Tomorrow's semi-rigorous mathematical culture ⋮ The death of proof? Semi-rigorous mathematics? You've got to be kidding! ⋮ The method of creative telescoping ⋮ Identities in search of identity ⋮ Towards computerized proofs of identities ⋮ Rogers-Ramanujan computer searches ⋮ New finite Rogers-Ramanujan identities ⋮ An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
Cites Work
This page was built for publication: A purely verification proof of the first Rogers-Ramanujan identity
