本文证明了Korevar和Meyers的猜想：对于每个$N\gec_dt^d$，在由$N$点组成的球面$S^d$中存在一个球面$t$-设计，其中$c_d$是一个仅依赖于$d$的常数。
2017–2024年欧几里德项目的在线内容
