摘要：Hales计划的第五步证明了某种组合排列的局部密度小于面心立方格子的打包密度。我们使用基于计算机的区间算术方法证明了局部密度的各种关系。这些关系共同暗示了局部密度的上界。
作者：Samuel P. Ferguson
论文ID：math/9811077
分类：Metric Geometry
分类简称：math.MG
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中