Algebraic geometric framework of Rogers--Ramanujan identities
Yifeng Huang, Kenny Lau, Ken Ono, Peter Paule
AI use, as the source states it
“These identities have been formalized and verified in Lean by AxiomProver.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.