alternating permutations 1dyson rank 1elliptic functions 1Euler numbers 1formal verification 1lean proof assistant 1mock modular forms 1modular forms 1noncommutative symmetric functions 1partition identities 1partition theory 1q-series 1
From the 3 of 20 linked papers with an AI index.
Showing math.RTShow all
1 paper · 1 filter