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-2014 Drexel University. All rights reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.