dataset · DSpace@MIT (Massachusetts Institute of Technology) · 2022

Computer-assisted proof of kernel inequalities

Cohn, Henry, Kumar, Abhinav, Miller, Stephen D., Radchenko, Danylo, Viazovska, Maryna

Cited by 0Open access

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.

Cite this paper

APA 7

Cohn, H., Kumar, A., Miller, S. D., Radchenko, D., & Viazovska, M. (2022). Computer-assisted proof of kernel inequalities. DSpace@MIT (Massachusetts Institute of Technology).

MLA 9

Cohn, Henry, et al. “Computer-assisted proof of kernel inequalities.” DSpace@MIT (Massachusetts Institute of Technology), 2022.

Chicago

Cohn, Henry, Abhinav Kumar, Stephen D. Miller, Danylo Radchenko, and Maryna Viazovska. 2022. “Computer-assisted proof of kernel inequalities.” DSpace@MIT (Massachusetts Institute of Technology).

Harvard

Cohn, H. et al. (2022) ‘Computer-assisted proof of kernel inequalities’, DSpace@MIT (Massachusetts Institute of Technology).

BibTeX

@misc{cohn2022computer,
  title = {{Computer-assisted proof of kernel inequalities}},
  author = {Cohn, Henry and Kumar, Abhinav and Miller, Stephen D. and Radchenko, Danylo and Viazovska, Maryna},
  journal = {DSpace@MIT (Massachusetts Institute of Technology)},
  year = {2022}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.