A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247)
From MaRDI portal
scientific article; zbMATH DE number 6750549
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
