GEO-001
Solved
L4

Kepler Conjecture

Category:Geometry
Johannes Kepler(1611)
567 views
31 favorites

Problem Statement

Background

Problem Solved

Solved: Jan 1, 1998

Solution Reference:

Thomas Hales (1998-2005), formalized proof completed 2014

About Geometry: Euclidean and non-Euclidean geometry, geometric structures.

Discussion (0)

No comments yet. Be the first to discuss this problem!

Sign in to start the conversation.

Discussion features coming soon!