Progress in Formalizing Sphere Packing in Dimension 8 文章

ArXiv CS.AI2026-06-01NEWSen作者: Sidharth Hariharan, Christopher Birkbeck, Seewoo Lee, Ho Kiu Gareth Ma, Bhavik Mehta, Auguste Poiroux, Maryna Viazovska
查看原文 →
关系图谱

Progress in Formalizing Sphere Packing in Dimension 8 · 相关技术

暂无数据