Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
The electronic journal of combinatorics, Tome 1 (1994)
New short and easy computer proofs of finite versions of the Rogers-Ramanujan identities and 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.
DOI :
10.37236/1190
Classification :
05A19
Mots-clés : computer proofs, Rogers-Ramanujan identity, quintuple product identity
Mots-clés : computer proofs, Rogers-Ramanujan identity, quintuple product identity
@article{10_37236_1190,
author = {Peter Paule},
title = {Short and easy computer proofs of the {Rogers-Ramanujan} identities and of identities of similar type},
journal = {The electronic journal of combinatorics},
year = {1994},
volume = {1},
doi = {10.37236/1190},
zbl = {0814.05009},
url = {http://geodesic.mathdoc.fr/articles/10.37236/1190/}
}
Peter Paule. Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type. The electronic journal of combinatorics, Tome 1 (1994). doi: 10.37236/1190
Cité par Sources :