Index of /~thales/papers

Icon  Name                                                                     Last modified      Size  Description
[DIR] Parent Directory                                                                              -   
[   ] A Formulation of the Kepler Conjecture.pdf                               25-Sep-2008 20:44  634K  
[   ] A Proof of the Dodecahedral Conjecture.pdf                               25-Sep-2008 21:18  2.6M  
[   ] A Proof of the Kepler Conjecture (Annals).pdf                            25-Sep-2008 20:42  2.0M  
[   ] A computer verification of the Kepler conjecture.pdf                     25-Sep-2008 20:44  233K  
[   ] Advances in random matrix theory, zeta functions and sphere packings.pdf 25-Sep-2008 20:44   66K  
[   ] A statement of the fundamental lemma.pdf                                 25-Sep-2008 20:44  233K  
[   ] CanPadicIntegralsBeComputed.pdf                                          25-Sep-2008 20:44  198K  
[   ] Cannonballs and Honeycombs.pdf                                           25-Sep-2008 20:44  145K  
[   ] Easy Pieces in Geometry (2007 preprint).pdf                              18-Apr-2007 10:12  3.2M  
[TXT] Easy_Pieces_in_Geometry_errata.txt                                       04-Apr-2010 11:28  221   
[   ] Equidecomposable Quadratic Regions.pdf                                   30-May-2007 17:31  155K  
[   ] Flyspeck_Blueprint_2008.pdf                                              11-Apr-2009 00:42  2.7M  
[   ] Formal Proof.pdf                                                         25-Sep-2008 21:22  171K  
[   ] Good Orbital Integrals.pdf                                               25-Sep-2008 20:43  559K  
[   ] GreenPoly87.pdf                                                          14-Jan-2011 07:55    0   
[   ] Historical Overview of the Kepler Conjecture.pdf                         25-Sep-2008 20:43  384K  
[   ] Introduction to the Flyspeck Project.pdf                                 25-Sep-2008 21:27  200K  
[   ] Jordan's Proof of the Jordan Curve Theorem.pdf                           02-May-2007 12:21  177K  
[   ] Lemmas_Elementary_Geometry.pdf                                           11-Apr-2009 00:42  465K  
[   ] OrbitalIntegralsAreMotivic.pdf                                           25-Sep-2008 20:43  157K  
[   ] Remarks on the density of sphere packings in three dimensions.pdf        25-Sep-2008 20:43  784K  
[   ] Revision_Proof_Kepler_Conjecture.pdf                                     29-Dec-2008 20:19  456K  
[   ] Snowflakes and Proof (tieng viet).pdf                                    25-Sep-2008 21:20  2.3M  
[   ] Snowflakes and Proof.pdf                                                 03-Dec-2007 01:52   69K  
[   ] Some Algorithms arising in the proof of the Kepler conjecture.pdf        25-Sep-2008 20:44  174K  
[   ] Some Methods of Problem Solving in Elementary Geometry.pdf               27-Jun-2007 17:04  171K  
[   ] Sphere Packings I.pdf                                                    25-Sep-2008 20:44  424K  
[   ] Sphere Packings II.pdf                                                   25-Sep-2008 20:44  181K  
[   ] Sphere Packings III.pdf                                                  25-Sep-2008 20:43  375K  
[   ] Sphere Packings IV.pdf                                                   25-Sep-2008 20:44  444K  
[   ] Sphere Packings VI.pdf                                                   25-Sep-2008 20:44  424K  
[   ] Sphere Packings in 3 Dimensions.pdf                                      25-Sep-2008 21:17   58K  
[   ] The Fundamental Lemma for Sp(4).pdf                                      25-Sep-2008 20:43  1.0M  
[   ] The Honeycomb Conjecture.pdf                                             25-Sep-2008 20:44  126K  
[   ] The Honeycomb Problem on a Sphere.pdf                                    25-Sep-2008 21:17  179K  
[   ] The Honeycomb Problem on the Sphere.pdf                                  25-Sep-2008 21:17  179K  
[   ] The Jordan Curve Theorem, Formally and Informally.pdf                    21-May-2007 06:32  362K  
[   ] The Status of the Kepler Conjecture.pdf                                  25-Sep-2008 20:43  2.7M  
[   ] The sphere packing problem.pdf                                           25-Sep-2008 20:43  2.6M  
[   ] Transfer Principle for the Fundamental Lemma.pdf                         05-Dec-2007 07:25  231K  
[   ] Unipotent Representations and Unipotent Classes in SL(N).pdf             25-Sep-2008 20:43  3.2M  
[   ] VirtualTransferFactors.pdf                                               25-Sep-2008 20:42  480K  
[   ] WhatIsMotivicMeasure.pdf                                                 25-Sep-2008 20:44  237K  
[TXT] errata.txt                                                               04-Apr-2010 11:26  221   
[   ] paul_j_cohen.pdf                                                         09-Dec-2008 22:36   66K  
[DIR] permissions/                                                             16-Oct-2008 18:50    -   
[   ] turing.pdf                                                               01-Oct-2011 22:29  1.4M