Modularity of Point Counts for the Curves X^a=Y^b: New Rogers--Ramanujan Identities
AI use, as the source states it
“AxiomProver verified these new identities in Lean assuming existing literature.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.