@misc{indiciaeff87b81bb384, title = {From Computational Certification to Exact Coordinates: Heilbronn's Triangle Problem on the Unit Square Using Mixed-Integer Optimization}, author = {Nathan Sudermann-Merx}, year = {2026}, url = {https://arxiv.org/abs/2603.11107}, note = {Source identifier: 2603.11107} }