Certified obstructions and exact forcing for the Earth-Moon and arithmetic Kakeya problems — paper, checkable certificates, full replay.
reproducible-research combinatorics graph-coloring certified-computation earth-moon-problem arithmetic-kakeya katz-tao biplanar-graphs
-
Updated
Sep 17, 2026 - Python