TY - RPRT TI - Optimizing Explicit Unit-Distance Lower-Bound Certificates AU - Michael T. M. Emmerich PY - 2026 UR - https://arxiv.org/abs/2606.03419 ID - 2606.03419 ER -