Modular and modern graph-theory algorithms framework in Java
A toolkit for AI agents to explore and attempt Erdős's 1,179 unsolved mathematical problems
Certified unit-distance point sets and graphs for discrete geometry in Rust.
CLI and workspace for Paul Erdos problems.
Proof package for a certified pointwise lower bound in the Erdős unit-distance problem
Computational experiments for Erdős-style combinatorial conjectures
Erdos-SDSLabs solutions using Python (Mostly)
Independent Python reproduction of the 2026 OpenAI/Sawin disproof of the Erdős unit-distance conjecture. mpmath-200-bit verbatim match (0.01% rel.err) to equation (2.2) of the remarks PDF. MIT, NumPy + mpmath only.
Add a description, image, and links to the erdos topic page so that developers can more easily learn about it.
To associate your repository with the erdos topic, visit your repo's landing page and select "manage topics."