Certificate for an equilateral set of 58 points in ℓ₅⁵⁶
收藏官方服务：
资源简介：
Exact certificate data and independently rerunnable verifier supporting the paper “A counterexample to Kusner’s conjecture on equilateral sets.” The certificate proves the existence of 58 pairwise equidistant points in ℓ₅⁵⁶. The verifier checks the six certificate inequalities entirely in exact integer arithmetic.
提供机构：
Zenodo创建时间：
2026-08-12
