Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type (Q1346729)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type |
scientific article |
Statements
Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type (English)
0 references
6 April 1995
0 references
Summary: New short and easy computer proofs of finite versions of the Rogers- Ramanujan identities and of identities of similar type are given. These include a very short proof of the first Rogers-Ramanujan identity that was missed by computers, and a new proof of the well-known quintuple product identity by creative telescoping.
0 references
computer proofs
0 references
Rogers-Ramanujan identity
0 references
quintuple product identity
0 references
