开普勒98

1998年开普勒猜想的证明。开普勒猜想断言,在欧几里德3空间中,没有任何一种包装的密度比市场上常见的金字塔形包装更大。这个资料库包含了1998年萨姆·弗格森和汤姆·黑尔斯证明开普勒猜想的计算机代码和其他文档。此代码不定期维护,但已作为历史记录保存在github。


zbMATH中的参考文献(参考 159篇文章 引用,3标准条款)

显示159个结果中的1到20个。
按年份排序(引用)

1 2 ... 6 7 8 下一个

  1. Andreanov,Alexei;Kallus,Yoav:局部最优2周期球形填料(2020)
  2. Bogosel,Beniamin;Bucur,Dorin;Fragalá,Ilaria:最优包装问题和相关Cheeger集群的相场方法(2020)
  3. DeBlois,Jason:几种双曲面圆盘填料的边界(2020)
  4. Gleixner,Ambros;Maher,Stephen J.;Müller,Benjamin;Pedroso,João Pedro:Price and verify:使用Dantzig-Wolfe分解的递归循环包装新算法(2020)
  5. 劳伦,拉里;瓦格纳,伊恩:关于施瓦茨函数和模形式的注记(2020)
  6. Sah,Ashwin;Sahhney,Mehtaab;Stoner,David;Zhao,Yufei:超级球包装上限的指数改进(2020)
  7. Bétermin,Laurent;Petrache,Mircea:非完全单调相互作用势的最优和非最优格(2019)
  8. 陈静;李波;李英凯:在线离散问题的有效逼近(2019)
  9. Choudhary,Aruni;Kerber,Michael;Raghvendra,Sharath:使用置换面体的多项式大小的拓扑近似(2019)
  10. Faulhuber,Markus;Steinerberger,Stefan:六角形晶格的极值性质(2019)
  11. Gómez Serrano,Javier:PDE中的计算机辅助证明:调查(2019)
  12. Emmanuel Gunther;Miguel Pagano;Sánchez Terraf,Pedro:实现强迫正规化的第一步(2019年)
  13. Thomas Hartman;Mazč,Dalimil;Rastelli,Leonardo:球体填充和量子引力(2019)
  14. Ismailescu,Dan;Laskawiec,Piotr:非平行圆柱的密集填料(2019年)
  15. Jenssen,Matthew;Joos,Felix;Perkins,Will:论高维硬球模型和球体填料(2019)
  16. Krantz,Steven G.:Besicovitch覆盖引理和极大函数(2019)
  17. 李,李明;石志平;关勇;张,钱英;李永东:几何代数的形式化
  18. Lourenco,Christopher;Escobedo,Adolfo R.;Moreno Centeno,Erick;Davis,Timothy A.:稀疏线性系统的精确解,通过与算术功成比例的时间进行左向舍入无误差Lu分解(2019年)
  19. Magron,Victor;Safey El-Din,Mohab;Schweighofer,Markus:非负一元多项式加权平方和分解算法(2019年)
  20. Ogivetsky,O.V.;Shlosman,S.B.:固体的临界构型和最小函数的莫尔斯理论(2019)

1 2 ... 6 7 8 下一个