Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
The electronic journal of combinatorics, Tome 1 (1994)
Cet article a éte moissonné depuis la source The Electronic Journal of Combinatorics website

Voir la notice de l'article

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
@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/}
}
TY  - JOUR
AU  - Peter Paule
TI  - Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
JO  - The electronic journal of combinatorics
PY  - 1994
VL  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.37236/1190/
DO  - 10.37236/1190
ID  - 10_37236_1190
ER  - 
%0 Journal Article
%A Peter Paule
%T Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
%J The electronic journal of combinatorics
%D 1994
%V 1
%U http://geodesic.mathdoc.fr/articles/10.37236/1190/
%R 10.37236/1190
%F 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 :