TY - RPRT TI - Heilbronn's Problem in the Unit Triangle: Certified Optimal Configurations for up to $n\le 8$ AU - Nathan Sudermann-Merx PY - 2026 UR - https://arxiv.org/abs/2607.15021 ID - 2607.15021 ER -