A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247): Difference between revisions
From MaRDI portal
Normalize DOI. |
Removed claim: describes a project that uses (P1463): Item:Q56651 |
||
| Property / describes a project that uses | |||
| Property / describes a project that uses: GitHub / rank | |||
Revision as of 06:33, 12 April 2025
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
