A Milestone in Formalization: The Sphere Packing Problem in Dimension 8

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7245731arXivFDO

Authors Sidharth Hariharan, Christopher Birkbeck, Seewoo Lee, Ho Kiu Gareth Ma, Bhavik Mehta, Auguste Poiroux, Maryna Viazovska

Publication date 2026

Published in arXiv

arXiv classification

This page was built for publication: A Milestone in Formalization: The Sphere Packing Problem in Dimension 8

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7245731)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_Milestone_in_Formalization:_The_Sphere_Packing_Problem_in_Dimension_8&oldid=107744978"