The sphere packing problem in dimension 8
arXiv:1603.04246 · 1 repo reference this paper in their README
In this paper we prove that no packing of unit balls in Euclidean space $\mathbb{R}^8$ has density greater than that of the $E_8$-lattice packing.
