Pinned Loading

1. antipodal-kissing-bounds antipodal-kissing-bounds Public

   Machine-verified upper bounds: at most 410 lines at 60 degrees in R^11 and 614 in R^12 — antipodal kissing configurations have at most 820 / 1228 points. Exact rational certificates, stdlib-only ch…

   TeX

2. autoconvolution-inequality-certificates autoconvolution-inequality-certificates Public

   Exact-arithmetic certificates for three autoconvolution inequalities (C1, C2, C3), with machine-verified re-evaluations of four published constructions. Sibling of the Erdos minimum-overlap note.

   Python

3. erdos-minimum-overlap-bound erdos-minimum-overlap-bound Public

   A tighter proven upper bound for the Erdős minimum overlap constant, with machine-verifiable certificates (note + code + certs).

   Python

4. minimum-autocorrelation-bound minimum-autocorrelation-bound Public

   A certified exact-rational lower bound for the minimum-autocorrelation constant (AlphaEvolve Problem 6.6), via nonnegative step functions. make verify reproduces it in the standard library. Fourth …

   TeX

5. pnt-ceiling-certificates pnt-ceiling-certificates Public

   Certified exact-rational ceiling theorems for a Mertens-type extremal program (the EinsteinArena PNT benchmark), via weak-duality dual certificates. make verify reproduces both bounds. Third in a s…

   Python