开普勒98

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


zbMATH中的参考文献(参考文献169篇,3标准条款)

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

1 2 ... 7 8 9 下一个

  1. 阿吉拉基:数学形式化——在实践中;一位数学家与伊莎贝尔/霍尔的第一次接触以及开始的原因和方法(2021年)
  2. Nebe,Gabriele:模格的自同构(2021)
  3. 阿夫卡米·杰迪,尼玛;科恩,亨利;哈特曼,托马斯;德拉特,大卫;Tajdini,Amirhossein:高维球形包装和模块化引导(2020)
  4. 安德烈亚诺夫,阿列克谢;Kallus,Yoav:局部最优2周期球形填料(2020)
  5. 博戈塞尔,贝尼亚明;布科尔,多林;虚弱的à, Ilaria:最优包装问题和相关Cheeger集群的相场方法(2020)
  6. DeBlois,Jason:几种双曲面圆盘填料的边界(2020)
  7. 格莱斯纳,安布罗斯;马厄,斯蒂芬J。;ü本杰明·勒;佩德罗索,乔ão Pedro:Price and verify:使用Dantzig-Wolfe分解的递归循环包装新算法(2020)
  8. 霍姆斯,凯瑟琳:《计算时代的数学教育:挑战与机遇》(2020)
  9. Pausinger,Florian:低维晶格中的长最短向量(2020)
  10. 罗兰,拉里;瓦格纳,伊恩:关于施瓦茨函数和模形式的注记(2020)
  11. 长官,阿什温;萨赫尼,梅塔布;斯通纳,大卫;赵玉飞:超球包装上限的指数改进(2020)
  12. 货车进站,阿尔诺;惯性矩ȩkisz,Jacek:大型相互作用的典型基态(2020)
  13. Bé特姆,劳伦特;Petrache,Mircea:非完全单调相互作用势的最优和非最优格(2019)
  14. 陈静;李波;李英凯:在线离散问题的有效近似(2019)
  15. 阿鲁尼乔达里;克伯,迈克尔;Raghvendra,Sharath:使用置换面体的多项式尺寸拓扑近似(2019)
  16. 戴维斯,欧内斯特:验证技术与基础物理(2019)
  17. 福休伯,马库斯;Steinerberger,Stefan:六角形晶格的极值性质(2019)
  18. Gómez Serrano,Javier:PDE中的计算机辅助证明:调查(2019年)
  19. 冈瑟,伊曼纽;帕加诺,米格尔;Sánchez Terraf,Pedro:实现强迫正式化的第一步(2019年)
  20. 哈特曼,托马斯;马兹áč, 达利米;莱昂纳多·拉斯特利:《球体填充与量子引力》(2019)

1 2 ... 7 8 9 下一个