#

minimum-overlap-problem

Here is 1 public repository matching this topic...

occisn / erdos-36-certified-lower-bound

Open, fully rigorous re-certification of White's lower bound for Erdős's minimum-overlap problem (#36), with an independent verifier

reproducible-research computer-assisted-proof erdos-problems certified-computation verified-computation minimum-overlap-problem erdos-problem-36

Updated Jun 30, 2026
Python

Improve this page

Add a description, image, and links to the minimum-overlap-problem topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the minimum-overlap-problem topic, visit your repo's landing page and select "manage topics."