开普尔98

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


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

显示结果41至60的158。
按年份排序(引文
  1. Klatt,Michael A.;最后,G·Nutter;Mecke,克劳斯;雷登巴赫,克劳蒂亚;夏勒,Fabian M.;施罗德-土耳其人,Gerd E.:基于张量张量的随机镶嵌的细胞形状分析(2017)
  2. Miller,Dale:证明检查与逻辑程序设计(2017)
  3. M·勒勒,丹尼斯;高蒂尔,蒂鲍特;卡利斯克,Cezary;Kohlhase,米迦勒;拉贝,弗洛里安:形式数学系统概念之间的排列分类(2017)
  4. Musin,O. R.:关于24元猜想的证明(2017)
  5. Pease、艾丽森、劳伦斯、约翰、布济恩斯卡、卡塔齐纳、Corneli、约瑟夫、里德、克里斯:拉卡托斯式合作数学的辩证、结构化和抽象论证(2017)
  6. 宋,丹;王,东明;陈,Xiaoyu:从图像中提取几何信息:手绘图的例子(2017)
  7. 亚当斯、马克:形式化数学证明审计(2016)
  8. 亚当斯,马克:波拉克不一致性的HooLoO2解(2016)
  9. Aransay,Jes S;DIVASS,若泽:伊莎贝尔/HOL(2016)中矩阵梯形的计算形式化
  10. Aspinall,戴维;卡里斯克,塞萨里:定理名称是什么?(2016)
  11. Blanchette,Jasmin Christian;格林威韦,戴维;卡利斯克,塞萨里;K·HuWein,丹尼尔;城市,Josef:一种基于学习的事实选择器(SUM/HOL)(2016)
  12. 卡洛德,Cristian S.;汤普森,迪克兰:不完备性、不可判定性和自动证明(邀请谈话)(2016)
  13. F·米迦勒,布朗,乍得:SATALAX内部指南(2016)
  14. Gleixner,Ambros M.;Sistffy,Daniel E.;Woter,Kati:线性规划的迭代求精(2016)
  15. 哈兰德,杰姆斯:忙碌的海狸机器和敏锐的水獭试探(或驯服可怕的龙)(2016)
  16. Holmes Cerfon,Miranda C.:枚举刚性球填料(2016)
  17. 卡洛斯,Yoav;库斯纳,W·邓:双晶格填充的局部最优性(2016)
  18. Kerber,曼弗雷德;兰格,克里斯托夫;罗特,柯林:机械化推理导论(2016)
  19. K·PPE,马蒂亚斯;周,袁:计算机辅助发现和切割平面定理的自动证明(2016)
  20. 林,Yuhui;Grov,Gudmund;Arthan,罗布:理解和保持策略图形化,或者我们如何学习图表可以超过10K LOC(2016)