kepler98

swMATH23625MaRDI QIDQ35396

No author found.

Source code repository: https://github.com/flyspeck/kepler98

Described by source

• A formulation of the Kepler conjecture
• A proof of the Kepler conjecture
• The Kepler Conjecture