Sphere Packing — Proof DAG (Cohn–Elkies linear programming, Viazovska's magic functions in $E_8$ and Leech, Radchenko–Viazovska Fourier interpolation, universal optimality, and the Lean formalization)

Loading graph...

Sphere Packing — Proof DAG (Cohn–Elkies linear programming, Viazovska's magic functions in $E_8$ and Leech, Radchenko–Viazovska Fourier interpolation, universal optimality, and the Lean formalization) — ScienceStack Graphs