Computer-assisted proof of kernel inequalities
| dc.contributor.author | Cohn, Henry | |
| dc.contributor.author | Kumar, Abhinav | |
| dc.contributor.author | Miller, Stephen D. | |
| dc.contributor.author | Radchenko, Danylo | |
| dc.contributor.author | Viazovska, Maryna | |
| dc.date.accessioned | 2022-03-16T16:57:46Z | |
| dc.date.available | 2022-03-16T16:57:46Z | |
| dc.date.issued | 2022-03-16 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/141226 | |
| dc.description.abstract | 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 proof using Mathematica and a revised proof using Sage. | en_US |
| dc.title | Computer-assisted proof of kernel inequalities | en_US |
| dc.type | Dataset | en_US |
