Peter Paule,
"Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type"
, in The Electronic Journal of Combinatorics, Vol. 1, 1994, ISSN: 1077-8926
Original Titel:
Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type