Web Images Videos Maps News Shopping Gmail 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 176 messages view all »
FLYSPECK Function choose
By John R Harrison - Aug 3 - 2 authors - 1 reply
FLYSPECK a small question
By John R Harrison - Jul 9 - 2 authors - 1 reply
FLYSPECK a question
By Sean McLaughlin - Jun 29 - 2 authors - 1 reply
FLYSPECK about a definition
By John R Harrison - Jun 21 - 2 authors - 1 reply
FLYSPECK a simple or hard lemma
By John R Harrison - Jun 2 - 2 authors - 1 reply
FLYSPECK A question
By TRUONG NGUYEN - Jun 1 - 2 authors - 1 reply
FLYSPECK Re: a question
By John R Harrison - May 29 - 3 authors - 4 replies
FLYSPECK Using WLOG on Dihedral Angle and Vector Arclength?
By John R Harrison - May 26 - 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
©2009 Google