Popular repositories Loading
-
-
-
-
-
erdos-minimum-overlap-bound
erdos-minimum-overlap-bound PublicA tighter proven upper bound for the Erdős minimum overlap constant, with machine-verifiable certificates (note + code + certs).
Python
-
autoconvolution-inequality-certificates
autoconvolution-inequality-certificates PublicExact-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
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.


