Department of Mathematics
Sub-communities within this community
(2022-05-23)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 ...
(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, ...