collaborators

1 paper

math.MG2026

Progress in Formalizing Sphere Packing in Dimension 8

Sidharth Hariharan, Christopher Birkbeck, Seewoo Lee +4

In 2016, Viazovska famously solved the sphere packing problem in dimension , using modular forms to construct a 'magic' function satisfying optimality conditions determined by C…