Record compositions of alternating permutations and noncommutative symmetric functions
Evan Chen, Ken Ono, Michal Mogielnicki
AI use, as the source states it
“AxiomProver autonomously produced and verified the results in this paper in Lean.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.