My favorites | Sign in
Project Home Downloads Wiki Issues Source
Search
for
  
  PageName Summary + Labels Changed ChangedBy ...
AnnouncingCompletion Announcement of Completion   Featured Aug 16 TCHa...@gmail.com  
ErrataDenseSpherePackings Errata for "Dense Sphere Packings: a blueprint for formal proofs" Aug 1 TCHa...@gmail.com  
FlyspeckFactSheet Introduction to the Flyspeck Project (formal proof of the Kepler Conjecture). This is a good place to start.   Featured Aug 1 TCHa...@gmail.com  
FejesTothsKissingConjecture Fejes Toth's Conjecture on Packings with Kissing Number Twelve (non-Flyspeck) Aug 1 TCHa...@gmail.com  
  
Powered by Google Project Hosting