TY - RPRT TI - A Proof of the Dittert Conjecture in Dimension 4 via an Exact Constrained Sum-of-Squares Certificate AU - Jinhui Li AU - Beibei Xiong AU - Zhengfeng Yang PY - 2026 UR - https://arxiv.org/abs/2607.29191 ID - 2607.29191 ER -