The Flyspeck Project
Library Home || Full Table of Contents || Suggest a Link || Library Help
|In pursuit of a formal proof of the Kepler Conjecture. The Flyspeck Project uses the Objective CAML programming language to investigate the density of a packing of congruent spheres in three dimensions. Start with the fact sheet.|
|Resource Types:||Research Centers, General Software Miscellaneous|
|Math Topics:||Convex/Discrete Geometry|
© 1994- The Math Forum at NCTM. All rights reserved.