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
summary:Let $H(K)$ be the Hilbert space with reproducing kernel $K$. This paper characterizes some...
If Optimality Theory (Prince & Smolensky 1991, 1993) is correct, Universal Grammar provides a set of...
AbstractIn this paper, we will show that Lagrange interpolatory polynomials are optimal for solving ...
We prove that the $E_8$ root lattice and the Leech lattice are universally optimal among point confi...
We prove that the $E_8$ root lattice and the Leech lattice are universallyoptimal among point config...
AbstractWe begin by offering a new, direct proof of the equivalence between the problem of the exist...
In Optimality Theory, a linguistic input is assigned a grammatical structural description by selecti...
We study optimal functions in a family of Caffarelli–Kohn–Nirenberg inequalities with a power-law we...
We show that the Leech lattice gives a sphere covering which is locally least dense among lattice co...
Dans cette thèse, nous généralisons les inégalités universelles de Yang etde Levitin et Parnovski, c...
summary:Pointwise interpolation inequalities, in particular, \left\vert\nabla_ku(x)\right\vert\leq c...
Determining whether a parameterized problem is kernelizable and has a small kernel size has recently...
On the occasion of Hans Bodlaender’s 60th birthday, I give a personal account of our history and wor...
The polynomial kernels are widely used in machine learning and they are one of the default choices t...
Two issues related to a class of cubic kernels for interpolation with a single free parameter are ad...
summary:Let $H(K)$ be the Hilbert space with reproducing kernel $K$. This paper characterizes some...
If Optimality Theory (Prince & Smolensky 1991, 1993) is correct, Universal Grammar provides a set of...
AbstractIn this paper, we will show that Lagrange interpolatory polynomials are optimal for solving ...
We prove that the $E_8$ root lattice and the Leech lattice are universally optimal among point confi...
We prove that the $E_8$ root lattice and the Leech lattice are universallyoptimal among point config...
AbstractWe begin by offering a new, direct proof of the equivalence between the problem of the exist...
In Optimality Theory, a linguistic input is assigned a grammatical structural description by selecti...
We study optimal functions in a family of Caffarelli–Kohn–Nirenberg inequalities with a power-law we...
We show that the Leech lattice gives a sphere covering which is locally least dense among lattice co...
Dans cette thèse, nous généralisons les inégalités universelles de Yang etde Levitin et Parnovski, c...
summary:Pointwise interpolation inequalities, in particular, \left\vert\nabla_ku(x)\right\vert\leq c...
Determining whether a parameterized problem is kernelizable and has a small kernel size has recently...
On the occasion of Hans Bodlaender’s 60th birthday, I give a personal account of our history and wor...
The polynomial kernels are widely used in machine learning and they are one of the default choices t...
Two issues related to a class of cubic kernels for interpolation with a single free parameter are ad...
summary:Let $H(K)$ be the Hilbert space with reproducing kernel $K$. This paper characterizes some...
If Optimality Theory (Prince & Smolensky 1991, 1993) is correct, Universal Grammar provides a set of...
AbstractIn this paper, we will show that Lagrange interpolatory polynomials are optimal for solving ...