Real-rootedness of the Poincar\'e polynomials of $\overline{\mathcal M}_{0,n}$: an AI-assisted proof 文章

ArXiv CS.AI2026-05-29NEWSen作者: Gergely B\'erczi, Young-Hoon Kiem

Real-rootedness of the Poincar\'e polynomials of $\overline{\mathcal M}_{0,n}$: an AI-assisted proof · 相关技术