开普尔98

开普勒猜想的1998个证明。开普勒猜想断言欧几里德3空间中的同余球的填充密度不大于在市场上用来堆叠橙子的常见金字塔形填料。这个存储库包含了Sam Ferguson和Tom Hales开普勒猜想的1998个证明的计算机代码和其他文档。此代码不定期维护,但它已被存放在GITHUB作为历史记录。