三隙定理（Steinhauss猜想）
摘要：N个点围绕圆形以固定角度a连续放置的分布问题。根据Tony van Ravenstein的证明，我们提出了一种对Steinhaus猜想的详细证明，其结果如下：N个点将圆分割成至多三种不同长度的间隙。我们研究了Coq中进行的形式化证明中所需的数学概念。
作者：Micaela Mayero (INRIA Futurs)
论文ID：cs/0609124
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23