托马斯·黑尔斯（Thomas C.Hales）。 球形填料。四： 详细边界。 （英语） Zbl 1186.52012年 离散计算。地理。 36，第1期，111-166（2006）. 本文是作者用离散计算证明开普勒猜想的六篇论文系列中的第四篇。地理。第36页，第1页。这一著名的猜想始于1611年，它断言，在三维空间中，同心球的堆积密度不比面心立方堆积密度大。在该系列的第二篇文章中，定义了分解星的紧拓扑空间，并在此空间上引入了一个连续的评分函数。此外，开普勒猜想与关于该评分函数全局最大值位置的某种猜想有关。在本系列的第三篇文章中，这些猜想点被证明至少是局部极大值。当前的论文包含开普勒猜想证明的技术核心；其结果依赖于长时间的计算机计算。得分函数可以表示为单位球面不同区域上的项之和。本文的主要目的是获得此类区域上得分函数值的良好界。审核人：Lenny Fukshansky（克莱蒙特） 引用于6评论引用于2文件 MSC公司： 52C17号 包装和覆盖尺寸（离散几何方面） 05B40号 包装和覆盖的组合方面 11小时31分 格状包装和覆盖（数值理论方面） 软件：开普勒98 PDF格式BibTeX公司 XML格式引用 \textit｛T.C.Hales｝，离散计算。地理。36，No.1，111--166（2006；Zbl 1186.52012） 全文： 内政部 arXiv公司