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 7 items.
- 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)
