1. Introduction
This document ports the original TeX blueprint to Verso Blueprints.
The project formalizes the dimension-8 optimality theorem from Viazovska (2017)
.
The Cohn-Elkies linear programming strategy follows Cohn and Elkies (2003)
Maryna S. Viazovska (2017). “The sphere packing problem in dimension 8”. Annals of Mathematics. 185(3), pp. 991–1015.
.
Henry Cohn and Noam Elkies (2003). “New upper bounds on sphere packings I”. Annals of Mathematics. 157(2), pp. 689–714.