Computer-assisted proof of kernel inequalities
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, Miller, Radchenko, and Viazovska). It includes both our original p...
| Main Authors: | , , , , |
|---|---|
| Format: | Dataset |
| Published: |
2022
|
| Online Access: | https://hdl.handle.net/1721.1/141226 |