开普尔98

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


ZBMaX中的参考文献(151篇)3篇标准文章

显示结果1至20的151。
按年份排序(引文
  1. Andreanov,阿列克谢;KALUS,YOAV:局部最优的2周期球填料(2020)
  2. Bogosel,Beniamin;Buuro,Dulin;Fracaly,Ilaria:相场法求解最优包装问题和相关Cheeger簇(2020)
  3. Gleixner,安布罗斯;马赫,Stephen J.;Mü勒,本杰明;佩德罗索,Joang-O.Pordro:价格和验证:一种新的递推循环填充算法:Dantzig Wolfe分解(2020)
  4. BeTelmin,劳伦特;PeTRAHE,MICEA:非完全单调相互作用势的最优和非最佳格(2019)
  5. 陈,京;李,博城;李,Yingkai:在线色散问题的有效近似(2019)
  6. CoudHayy,Aruni;Kerber,米迦勒;Raghvendra,Sharath:使用Pym面面体的多项式大小拓扑近似(2019)
  7. Faulhuber,Markus;Steinerberger,斯特凡:六边形晶格的极值性质(2019)
  8. G.Mez塞拉诺,哈维尔:PDE中的计算机辅助证据:一项调查(2019)
  9. 哈特曼,托马斯;马扎亚,Dalimil;Rastelli,列奥纳多:球堆积和量子引力(2019)
  10. Ismailescu,丹;LaskWiEC,PIOTR:非平行圆柱体密集填料(2019)
  11. Jenssen,马修;约斯,菲利克斯;帕金斯,威尔:高维硬球模型和球填料(2019)
  12. 克兰茨,Steven G.:BesioViCH覆盖引理和极大函数(2019)
  13. 李,李明;石,支平;关,Yong;张,钱莹;李,李:HOLL光中几何代数的形式化(2019)
  14. LuleCo,克里斯托弗;EsCo Bedodo. Adolfo R.;Moreno Centeno,Erick;戴维斯,Timothy A.:稀疏线性系统的精确解,通过在时间上与算术运算成比例的向左舍入无误差LU分解(2019)
  15. Safey El Din,Mohab,Schweighofer,Markus:非负单变量多项式加权平方和分解算法(2019)
  16. Ogievetsky,O. V.;Shlosman,S. B.:固体的临界构型和Min函数的Morse理论(2019)
  17. 克日什托夫:量子计算理论与数学哲学。II(2019)
  18. Grzegorz的BeCeRek;Byi-Ski-SKE,CZES-AW;格拉鲍夫斯基,亚当;Kurni-OWICZ,阿图尔;Matuszewski,罗马;诺莫维奇,亚当;P k,Karol:MIZAR数学库在MIZAR(2018)中的交互证明发展的作用
  19. Bertot,Yves;Rideau,劳伦斯;劳伦特,遥远的小数(\pi):计算它们的一些算法的形式证明和精确计算的保证(2018)
  20. 克拉克,Edmund M.;Henzinger,Thomas A.;维斯,赫尔穆特:模型检验导论(2018)