erdos-problem

Star

Here are 4 public repositories matching this topic...

morluto / jacobian

Star

Composable mathematics tools for agents

Updated Sep 14, 2026
Python

Ghost---Shadow / erodos-unit-distance-balls-and-springs

Star

Numerical attack on the Erdos unit-distance problem: a complete graph of unit-rest-length springs, annealed then projected onto exact unit distances. Matches every proven optimum for n <= 14, with audited counts and a live 2D view.

python optimization numpy levenberg-marquardt computational-geometry matplotlib combinatorics simulated-annealing physics-simulation lattice discrete-geometry mass-spring-system erdos-problem unit-distance-graph

Updated Sep 8, 2026
Python

eluckydog / tao-erdos-primitive-sets

Star

Automating the Markov chain method from Tao et al. (2026) for Erdős primitive set conjectures (arXiv:2605.00301)

markov-chain number-theory additive-combinatorics erdos-problem primitive-sets

Updated May 17, 2026
Python

TACITVS / erdos-problem-124-bernoulli

Star

Computational research notebook for Erdős Problem 124, including the multi-base Bernoulli convolution AC conjecture and C++ triple-check.

mathematics computational-mathematics number-theory fractal-geometry additive-combinatorics erdos-problem bernoulli-convolution

Updated May 24, 2026
Haskell

Add this topic to your repo

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

Learn more