Pages that link to "Item:Q914679"
From MaRDI portal
The following pages link to A purely verification proof of the first Rogers-Ramanujan identity (Q914679):
Displaying 9 items.
- Continued fraction proofs of \(m\)-versions of some identities of Rogers-Ramanujan-Slater type (Q543567) (← links)
- Identities in search of identity (Q688676) (← links)
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities (Q811594) (← links)
- Rogers-Ramanujan computer searches (Q1023270) (← links)
- New finite Rogers-Ramanujan identities (Q1039655) (← links)
- The method of creative telescoping (Q1176785) (← links)
- Theorems for a price: Tomorrow's semi-rigorous mathematical culture (Q1343655) (← links)
- The death of proof? Semi-rigorous mathematics? You've got to be kidding! (Q1343656) (← links)
- Towards computerized proofs of identities (Q5749295) (← links)
