Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
From MaRDI portal
Publication:1346729
zbMath0814.05009MaRDI QIDQ1346729
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
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
