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 |
| _version_ | 1811086825736896512 |
|---|---|
| author | Cohn, Henry Kumar, Abhinav Miller, Stephen D. Radchenko, Danylo Viazovska, Maryna |
| author_facet | Cohn, Henry Kumar, Abhinav Miller, Stephen D. Radchenko, Danylo Viazovska, Maryna |
| author_sort | Cohn, Henry |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T13:35:17Z |
| format | Dataset |
| id | mit-1721.1/141226 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T13:35:17Z |
| publishDate | 2022 |
| record_format | dspace |
| spelling | mit-1721.1/1412262022-03-17T03:17:54Z Computer-assisted proof of kernel inequalities Cohn, Henry Kumar, Abhinav Miller, Stephen D. Radchenko, Danylo Viazovska, Maryna 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. 2022-03-16T16:57:46Z 2022-03-16T16:57:46Z 2022-03-16 Dataset https://hdl.handle.net/1721.1/141226 application/pdf application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/pdf application/octet-stream |
| spellingShingle | Cohn, Henry Kumar, Abhinav Miller, Stephen D. Radchenko, Danylo Viazovska, Maryna Computer-assisted proof of kernel inequalities |
| title | Computer-assisted proof of kernel inequalities |
| title_full | Computer-assisted proof of kernel inequalities |
| title_fullStr | Computer-assisted proof of kernel inequalities |
| title_full_unstemmed | Computer-assisted proof of kernel inequalities |
| title_short | Computer-assisted proof of kernel inequalities |
| title_sort | computer assisted proof of kernel inequalities |
| url | https://hdl.handle.net/1721.1/141226 |
| work_keys_str_mv | AT cohnhenry computerassistedproofofkernelinequalities AT kumarabhinav computerassistedproofofkernelinequalities AT millerstephend computerassistedproofofkernelinequalities AT radchenkodanylo computerassistedproofofkernelinequalities AT viazovskamaryna computerassistedproofofkernelinequalities |