Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
Introduction
2.
The Cohn–Elkies bound
3.
Fourier-analytic preliminaries
4.
The universal Cohn–Elkies lower bound
5.
The admissible primal upper bound
6.
Comparison of the sign-uncertainty constants
7.
Report versus formalization
Dependency Graph
Blueprint Summary