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

MaRDI QIDQ1346729zbMATH OpenFDO

Authors Peter Paule

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, http://www.emis.de/journals/EJC/Volume_1/volume1.html#R10

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

computer proofsquintuple product identityRogers-Ramanujan identity

Mathematics Subject Classification ID

Combinatorial identities, bijective combinatorics (05A19)

Review text

Summary: New short and easy computer proofs of finite versions of the Rogers- Ramanujan identities and of identities 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.

Recommendations

• An easy proof of the Rogers-Ramanujan identities
• Some more identities of the Rogers-Ramanujan type
• A purely verification proof of the first Rogers-Ramanujan identity
• Identityfinder and some new identities of Rogers-Ramanujan type
• A simple proof of the Rogers-Selberg identities

Cited in

(33)

• 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
• An easy proof of the Rogers-Ramanujan identities
• The Rogers-Ramanujan identities without Jacobi's triple product
• \(q\)-hypergeometric solutions of \(q\)-difference equations
• Computer proofs of a new family of harmonic number identities.
• An infinite family of Engel expansions of Rogers-Ramanujan type
• Factored matrices can generate combinatorial identities
• Algorithms for \(q\)-hypergeometric summation in computer algebra
• \texttt{RRtools} -- a Maple package for aiding the discovery and proof of finite Rogers-Ramanujan type identities
• scientific article; zbMATH DE number 4150159 (Why is no real title available?)
• scientific article; zbMATH DE number 4108770 (Why is no real title available?)
• A Motivated Proof of the Rogers-Ramanujan Identities
• Contiguous relations and creative telescoping
• Creative telescoping for holonomic functions
• COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES
• The Abel Lemma and the q-Gosper Algorithm
• Algorithms for finding and proving balanced Q^2 identities
• A triple integral analog of a multiple zeta value
• Chasing after cancellations: revisiting a classic identity that implies the Rogers-Ramanujan identities
• On identities of the Rogers-Ramanujan type
• Counting domino tilings of rectangles via resultants
• Explicit forms and proofs of Zagier's rank three examples for Nahm's problem
• A new (but very nearly old) proof of the Rogers-Ramanujan identities
• Finite versions of the Andrews-Gordon identity and Bressoud's identity
• Elementary derivations of the Rogers-Fine identity and other q-series identities
• \(q\)-analogues of two ``divergent Ramanujan-type supercongruences
• 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
• A purely verification proof of the first Rogers-Ramanujan identity
• Parameter augmentation and the q-Gosper algorithm

This page was built for publication: Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1346729)