关于Hales《密球堆积：形式化证明蓝图》中的一个细节
度量几何
2017-12-12 v1
摘要
在《密球堆积：形式化证明蓝图》中，Hales证明对于单位球的任意堆积，半径为的球内密度至多为（其中为某常数）。当趋于无穷时，这给出了著名开普勒猜想的一个证明。如Hales所表述，依赖于具体的堆积。我们遵循Hales的证明，计算出一个独立于球堆积的常数，其存在性正如Hales等人所著《开普勒猜想的形式化证明》中所述。
引用
@article{arxiv.1712.03568,
title = {On a Detail in Hales's "Dense Sphere Packings: A Blueprint for Formal Proofs"},
author = {Nadja Scharf},
journal= {arXiv preprint arXiv:1712.03568},
year = {2017}
}