开普尔98

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


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

显示结果121至140的158。
按年份排序(引文
  1. Vance,斯蒂芬妮:Hurwitz格的改进球填充下界(2011)
  2. 巴德尔,弗兰兹;Beckert,伯恩哈德;NIPKOW,托拜厄斯:DeDukTe:冯Theorie zur Anwendung(2010)伊波尔特
  3. Babenko,Vladislav F.;Borodachov,Sergiy V.;SkrokHodov,Dmytro S.:二次可微多元函数的各向同性类的最优恢复(2010)
  4. 陈,Elizabeth R.;恩格尔,米迦勒;Galtz,Sharon C.:规则四面体的致密结晶二聚体填料(2010)
  5. Hales,Thomas C.:计算离散几何(2010)
  6. Hales,Thomas C.:开普勒猜想的线性程序(扩展摘要)(2010)
  7. Hales,Thomas C.;哈里森,约翰;麦克劳林,肖恩;NIPKOW,托拜厄斯;OBUA,史提芬;Fig,Y:开普勒猜想证明的修正(2010)
  8. Hales,Thomas C.;麦克劳克林,肖恩:十二面体猜想(2010)
  9. 李,Shuixiang;赵,吉安;卢,彭;谢,禹:基本3D物体的最大堆积密度(2010)
  10. SH·U. Achill,完美的强共格格是周期极值(2010)
  11. Stoyan,于。G.;Yaskov,G. N.:把相同的球装进圆柱体(2010)
  12. Sun,兴平:(Ayd)格的Voronoi单元的逼近(2010)
  13. 班奈,Eiichi;班奈,EtSok:球面上的球面设计和代数组合学综述(2009)
  14. Dufourd,Jeang-South-OoIS:一个用组合超图形式化形式化的约旦曲线定理的离散形式的直观证明(2009)
  15. Goever,H:证明助理:历史、思想和未来(2009)
  16. 李,Huiyuan;徐,袁:十二面体和四面体的离散傅立叶分析(2009)
  17. 卢擦日妮,瓦莱里奥:三维随机Voronoi镶嵌:从立方晶格到Poisson点过程(2009)
  18. 奥布阿,史提芬;NIPKOW,托拜厄斯:FrasSPECK II:基本线性程序(2009)
  19. 帕斯莫尔、Grant Olney、杰克逊、Paul B.:《里斯》存在论的组合决策技术(2009)
  20. 阿尔布雷克特,A. A.;SkaloTias,A. Steinh O'Fel.K.:三维HP模型中的随机蛋白质折叠模拟(2008)