Gmail Calendar Documents Reader Web more »
Recently Visited Groups | Help | Sign in
Google Groups Home
flyspeck
Home
Pages
Files
About this group
Apply for group membership
Group info
Members: 36
Group categories: Not categorized
More group info »
Home
Description: This is a group for the discussion of the flyspeck project:
a formal proof of the Kepler Conjecture.
 
Discussions8 of 178 messages view all »
New directory structure for project
By Tom - Dec 7 2009 - 1 author - 0 replies
New version of flypaper (1339)
By Tom - Dec 6 2009 - 1 author - 0 replies
FLYSPECK Function choose
By John R Harrison - Aug 3 2009 - 2 authors - 1 reply
FLYSPECK a small question
By John R Harrison - Jul 9 2009 - 2 authors - 1 reply
FLYSPECK a question
By Sean McLaughlin - Jun 29 2009 - 2 authors - 1 reply
FLYSPECK about a definition
By John R Harrison - Jun 21 2009 - 2 authors - 1 reply
FLYSPECK a simple or hard lemma
By John R Harrison - Jun 2 2009 - 2 authors - 1 reply
FLYSPECK A question
By TRUONG NGUYEN - Jun 1 2009 - 2 authors - 1 reply
Pages1 page view all »
a question
Last updated by Nguyen Quang Truong - Jul 28 2008 - 1 author - 1 page long
Files1 file view all »
aff_def.ml
Last updated by Vuong Anh Quyen - Aug 27 2008

Report this group   XML       Send email to this group: flyspeck@googlegroups.com
Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2010 Google