Popular repositories Loading

1. erdos-minimum-overlap-lower-bound erdos-minimum-overlap-lower-bound Public

   Certified global lower-bound improvement for the Erdos minimum-overlap problem: c_E > 0.38055925 via independent Arb and MPFI checks; the exact value remains open.

   Python

2. binary-covering-sequence-9-1 binary-covering-sequence-9-1 Public

   Certified scoped theorem for binary covering sequences: every valid length-70 (9,1) cover uses at most 60 distinct edges in common with one fixed backbone; global bounds unchanged.

   Python

3. binary-covering-code-11-3 binary-covering-code-11-3 Public

   Certified proof frontier for K_2(11,3): 112/150 normalized and 324/350 selected branch closures; the exact value remains open.

   Python

4. ternary-covering-code-7-3 ternary-covering-code-7-3 Public

   Certified scoped theorem for K_3(7,3): eight seven-word subcores are excluded from all size-at-most-11 covers; the global interval is unchanged.

   Python

5. ternary-covering-code-6-2 ternary-covering-code-6-2 Public

   Certified proof frontier for K_3(6,2): exact dual certificates exclude six of 38 normalized branches; the global interval is unchanged.

   Python

6. lonely-runner-15-prime-29 lonely-runner-15-prime-29 Public

   Certified prime-gate theorem for fifteen lonely runners: J(14,29) is empty via dual exact solvers and checked DRAT; full LRC(14) remains open.

   Python