Sidon / Erdős–Turán γ certificate: γ < 0.94285 (vs Hou–Zhao 0.9435). DOI 10.5281/zenodo.22212915
python mathematics formal-methods arxiv number-theory computer-assisted-proof additive-combinatorics exact-arithmetic sidon erdos-turan sidon-sequence
-
Updated
Aug 31, 2026 - Python