Chebyshev quotients, Demazure multiplicities, and Dyck-path models
Rekha Biswal, Ken Ono, Jujian Zhang
AI use, as the source states it
“The theorems in this paper were autonomously produced and formalized in Lean/Mathlib by AxiomProver from natural-language statements.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.