期刊
FORUM OF MATHEMATICS PI
卷 5, 期 -, 页码 -出版社
CAMBRIDGE UNIV PRESS
DOI: 10.1017/fmp.2017.1
关键词
-
资金
- NSF [0503447, 0804189]
- Microsoft Azure Research, William Benter Foundation, University of Pittsburgh, Radboud Research Facilities, Institute of Math (VAST)
- VIASM
- Direct For Mathematical & Physical Scien
- Division Of Mathematical Sciences [0804189] Funding Source: National Science Foundation
- Direct For Mathematical & Physical Scien
- Division Of Mathematical Sciences [0503447] Funding Source: National Science Foundation
This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据
分享论文
