Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type

zbMath0814.05009MaRDI QIDQ1346729

Paule, Peter

Publication date: 6 April 1995

Published in: The Electronic Journal of Combinatorics (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/118585

zbMATH Keywords

quintuple product identityRogers-Ramanujan identitycomputer proofs

Mathematics Subject Classification ID

Combinatorial identities, bijective combinatorics (05A19)

Related Items

Short proofs of summation and transformation formulas for basic hypergeometric series, Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory, \(q\)-hypergeometric solutions of \(q\)-difference equations, Factored matrices can generate combinatorial identities, Computer proofs of a new family of harmonic number identities., Algorithms for \(q\)-hypergeometric summation in computer algebra, On identities of the Rogers-Ramanujan type, The Abel Lemma and the $q$-Gosper Algorithm, Counting domino tilings of rectangles via resultants, Parameter augmentation and the \(q\)-Gosper algorithm, Bilateral Bailey lemma and Rogers-Ramanujan identities, Rogers-Ramanujan computer searches, A Mathematica package for \(q\)-holonomic sequences and power series, New finite Rogers-Ramanujan identities, \(q\)-analogues of two ``divergent Ramanujan-type supercongruences, Creative Telescoping for Holonomic Functions, An infinite family of Engel expansions of Rogers-Ramanujan type, A triple integral analog of a multiple zeta value, Contiguous Relations and Creative Telescoping