Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type (Q1346729)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 741551
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type |
scientific article; zbMATH DE number 741551 |
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
0.8440559506416321
0 references
0.8404459357261658
0 references
0.8221316337585449
0 references
0.8184043169021606
0 references
0.8159176707267761
0 references
