Department of Mathematics
Subcommunities within this community
Recent Submissions

Data for "Threepoint bounds for sphere packing"
(20220629)This data set includes all the numerical data from the paper "Threepoint bounds for sphere packing" by Cohn, de Laat, and Salmon. 
Small spherical and projective codes
(20220523)This data set describes the best spherical and real projective codes that are known to exist (to the best of my knowledge), for up to 32 points on spheres or 16 lines through the origin in the real projective case. It ... 
Computerassisted proof of kernel inequalities
(20220316)This data set provides a computerassisted 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, ...