A formal proof of the Kepler conjecture (Q5280247)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A formal proof of the Kepler conjecture |
scientific article; zbMATH DE number 6750549
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A formal proof of the Kepler conjecture |
scientific article; zbMATH DE number 6750549 |
Statements
A FORMAL PROOF OF THE KEPLER CONJECTURE (English)
0 references
20 July 2017
0 references
ball packing
0 references
Kepler conjecture
0 references
formal proof
0 references
Flyspeck project
0 references
HOL Light proof assistant
0 references
Isabelle proof assistant
0 references
0 references
0.8870342969894409
0 references
0.8476386666297913
0 references
0.8419201374053955
0 references
0.8354779481887817
0 references
