开普勒猜想的1998年证明 开普勒猜想断言,欧几里德3空间中的全等球的包装没有密度大于市场上常见的用于堆放桔子的金字塔形包装。 此存储库包含1998年萨姆·弗格森和汤姆·黑尔斯对开普勒猜想的证明。此代码虽然没有定期维护,但它已作为历史记录保存在github。 证明的非计算机部分在arXiv提供的一系列八篇论文中给出。 开普勒猜想概述 开普勒猜想的一个公式 球形填料I 球形填料II 球形填料III 球形填料IV 球形填料V 开普勒猜想 其他存储库 部分代码已存放在arXiv公司并使用数学年刊. 证据的计算机部分 证明的计算机部分分为三个主要的代码主体,如下所示结构。 非线性不等式的验证间隔算术。 验证线性的程序。 生成所有平面图满足性能的技术列表。 目录结构 文档/index.html这是所有html文档的入口点。 文件Html代码、图形和其他文档。 多德克有关肖恩·麦克劳林证明十二面体猜想的材料。 图表一个生成温和平面图的java程序。 蜂蜜与蜂巢猜想证明相关的材料。 间隔非线性不等式的区间算法验证。 线性的线性规划。此目录包含表单中的大部分项目代码属于 数字的非线性不等式的数值验证代码。这部分不是数学上严谨。 萨姆夫萨姆·弗格森的密码与开普勒猜想有关。 变化 这个代码库与Hales网站上的文件集基本相同大约1997-2013年在密歇根大学和匹兹堡大学学习。Html文件已经移动到新的文档子目录,更新一些链接。 为了适应github对文件的100MB大小限制,我们将zip文件线性/短/PENT一分为二。 最近的一个项目github.com/flyspeck/flyspeck给出了开普勒猜想的正式证明。