{"id":"arxiv/2603.11107","url":"https://arxiv.org/abs/2603.11107","tags":["math.OC","math.CO"],"score":0,"title":"From Computational Certification to Exact Coordinates: Heilbronn's Triangle Problem on the Unit Square Using Mixed-Integer Optimization","domain":"math.OC","source":"arxiv","authors":["Nathan Sudermann-Merx"],"reviews":0,"subject":"math.OC","summary":"We develop a mixed-integer nonlinear programming (MINLP) approach for the classical Heilbronn triangle problem, demonstrating the capability of modern global optimization solvers to tackle challenging combinatorial geometry problems. A symmetry-breaking strategy based on boundary structure yields a substantially stronger model: for $n=9$, we compute an $\\varepsilon$-globally optimal point in 15 minutes on a standard desktop computer, improving upon the previously reported effort of approximately one day. By combining numerical certification with exact symbolic computation, we recover exact…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-11","reactions":{}}