Search
Now showing items 1-4 of 4
Data for "Dual linear programming bounds for sphere packing via modular forms"
(2021-04-04)
This data set contains numerical data for the paper "Dual linear programming bounds for sphere packing via modular forms" by Cohn and Triantafillou (available on the arXiv with arXiv ID 1909.04772, at the URL https://arX ...
Point configurations minimizing harmonic energy on spheres
(2021-06-13)
This data set contains updated numerical data for the paper "Experimental study of energy-minimizing point configurations on spheres" (Experiment. Math. 18 (2009), no. 3, 257-283).
Modular bootstrap data
(2020-06-03)
This data set includes the numerical data from the papers "High-dimensional sphere packing and the modular bootstrap" (by Afkhami-Jeddi, Cohn, Hartman, de Laat, and Tajdini) and "Free partition functions and an averaged ...
Computer-assisted proof of kernel inequalities
(2022-03-16)
This data set provides a computer-assisted proof for the kernel inequalities needed to prove universal optimality in the paper "Universal optimality of the E_8 and Leech lattices and interpolation formulas" (by Cohn, Kumar, ...