Data: Recent submissions

Now showing items 10-12 of 14

    • Computer-assisted proof of kernel inequalities 

      Cohn, Henry; Kumar, Abhinav; Miller, Stephen D.; Radchenko, Danylo; Viazovska, Maryna (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, ...

    • Point configurations minimizing harmonic energy on spheres 

      Ballinger, Brandon; Blekherman, Grigoriy; Cohn, Henry; Giansiracusa, Noah; Kelly, Elizabeth; e.a. (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).

    • Data for "Dual linear programming bounds for sphere packing via modular forms" 

      Cohn, Henry; Triantafillou, Nicholas (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 ...