The Kepler Conjecture

Background

• This page is a summary of the site.
• The announcement of a solution.
• A brief statement of the problem.
• The history of the problem.
  
• A 1996 lecture at Mt. Holyoke explains the key ideas that will be involved in the proof.
  
• Academic papers, popular articles, and general reference books on discrete geometry.
• Ferguson's Ph.D. thesis at the University of Michigan completes one of the five steps of the proof.
  
• Sean McLaughlin has proved Fejes Tóth's dodecahedral conjecture
  
• Follow this link to the serious stuff. This link is intended for discrete geometers who wish to check the technical details of the solution.
• What have Kepler, Hilbert, Milnor, Coxeter, Fejes Tóth and others said about the Kepler Conjecture?

• Interval Package. A C++ library especially designed to prove inequalities arising in the Kepler conjecture.
  
• Graph Generator An applet that generates all the combinatorial possibilities of the Kepler conjecture.
  
• Mathematica has been used extensively throughout this project for experimentation and exploration. Some of the most useful functions have been posted here.