The purpose of the flyspeck project is to formalize the proof of the Kepler Conjecture.

Sunday, September 19, 2004

Slides from TPHOL conference

The slides from Hales's Park City presentation on the flyspeck project have been posted on the internet.

90 Comments:

Blogger Bob Solovay said...

This is more a questionthen a comment. Did I hear in your Park City talk that there is a tiling of space by regular octahedra and tetrahedraha whose vertices lie on the lattice of the face centered cubic?

Apologies if this question is posted multiple times. I'm still getting the hang of the Blogger and Google groups interface.

October 4, 2004 at 12:43 AM

 
Blogger cc Infopage said...

Hello,

I am searching for fresh information
for my cc Infopage, 30,000 daily updated Information Pages about all kind of subjects.

It might interest you to know that your blog has been visited and has been read. I hope you enjoy your "Blogging".

I wish you all the luck I can, keep the good work going!

Kind regards,
Jos
Today's News From & About Google

October 11, 2005 at 8:25 PM

 
Anonymous Anonymous said...

online, free of charge! It doesn’t matter if your enterprise is a purely online or offline venture,

November 3, 2005 at 11:54 PM

 
Anonymous Anonymous said...

You'll receive Valuable how-to Lessons, Millions and Millions of FREE Ads, and High in Demand Software Applications

November 11, 2005 at 9:23 AM

 
Anonymous Anonymous said...

Photo from my Best weekend in this year ! ! ! ( phentermine )
Look it here :

I and my Girl or My friends girl

April 11, 2007 at 10:19 AM

 
Anonymous <a href="http://peumans-pc.stanford.edu/portal_memberdata/portraits/buyviagra">BuyViagra</a> said...

1

August 15, 2007 at 1:43 PM

 
Anonymous <a href="http://www.netwacc.dsu.edu/portal_memberdata/portraits/ringtones">Free Ringtones</a> said...

Thanks!

August 15, 2007 at 2:13 PM

 
Anonymous <a href="http://phentermine1.eamped.com">Phentermine</a> said...

Thanks for interesting article.

August 17, 2007 at 1:26 PM

 
Anonymous <a href="http://drugscenterhere.com">ShopMan</a> said...

I like articles like this. Thanks!

August 26, 2007 at 4:00 AM

 
Anonymous <a href="http://m2.aol.com/LorenLynn03/index8.html">Anonymous</a> said...

Nice! Nice site! Good resources here. I will bookmark!

September 10, 2007 at 12:40 AM

 
Anonymous <a href="http://m2.aol.com/y7uj">Anonymous</a> said...

Thanks for article! Very interesting.

September 11, 2007 at 6:39 AM

 
Anonymous <a href="http://m2.aol.com/eda3r/index.html">Anonymous</a> said...

Do you can write anything else about it? Great article!

September 11, 2007 at 2:26 PM

 
Anonymous <a href="http://paydayadvisors.org">PaydayLoans</a> said...

SYtxLy You have a talant! Write more!

October 30, 2007 at 12:57 PM

 
Anonymous <a href="http://tes.uab.es/MISS/portal_memberdata/portraits/twkgxziok">Auto insurance company</a> said...

xlBBKr Nice Article.

October 30, 2007 at 10:33 PM

 
Anonymous <a href="http://hydrocodone.99k.org/index.php">Hydrocodone</a> said...

yuBDyi The best blog you have!

November 2, 2007 at 12:44 AM

 
Anonymous <a href="http://users2.titanichost.com/buyviagra/387.html">deers military insurance</a> said...

yqrt6t actually, that's brilliant. Thank you. I'm going to pass that on to a couple of people.

November 2, 2007 at 1:56 PM

 
Anonymous <a href="http://free.7host07.com/nmcfgy/12.html">all inclusive tours to europe</a> said...

Hello all!

November 2, 2007 at 2:44 PM

 
Anonymous <a href="http://fioricet.clanteam.com/?pharma=438">fioricet used for</a> said...

Hello all!

November 2, 2007 at 3:29 PM

 
Anonymous <a href="http://celebrex.zxq.net/?pharma=1381">compare motrin relafen celebrex</a> said...

Magnific!

November 2, 2007 at 4:37 PM

 
Anonymous <a href="http://m1.aol.com/BrettHead14/438.html">hoodia chews</a> said...

Good job!

November 2, 2007 at 5:39 PM

 
Anonymous <a href="http://users2.titanichost.com/buyviagra/index16.html">phentermine rating site</a> said...

Wonderful blog.

November 3, 2007 at 7:10 AM

 
Anonymous <a href="http://vicodin.newsit.es/generic-vicodin.html">generic vicodin</a> said...

actually, that's brilliant. Thank you. I'm going to pass that on to a couple of people.

November 3, 2007 at 11:49 AM

 
Anonymous <a href="http://vicodin.newsit.es/3-day-withdrawal-from-vicodin.html"></a> said...

Magnific!

November 3, 2007 at 12:55 PM

 
Anonymous <a href="http://vicodin.newsit.es/edwind-vault-vicodin-es.html">edwind vault vicodin es</a> said...

actually, that's brilliant. Thank you. I'm going to pass that on to a couple of people.

November 3, 2007 at 1:46 PM

 
Anonymous <a href="users2.titanichost.com/amalopra">JohnBraun</a> said...

mm2AJJ write more, thanks.

November 4, 2007 at 3:19 AM

 
Anonymous <a href="http://users2.titanichost.com/popebatret/index8.html">couple picture sex</a> said...

Good job!

November 4, 2007 at 10:42 PM

 
Anonymous <a href="http://users2.titanichost.com/inoryum/index34.html">dumb sex acts</a> said...

Magnific!

November 4, 2007 at 11:17 PM

 
Anonymous <a href="http://users2.titanichost.com/hviler/index6.html">animal sex famr</a> said...

Magnific!

November 5, 2007 at 1:09 AM

 
Anonymous <a href="http://users2.titanichost.com/ansfur/index1.html">leg spasm sex</a> said...

Nice Article.

November 5, 2007 at 1:42 AM

 
Anonymous <a href="http://users2.titanichost.com/olds77/index14.html">eating anal creampie tgp</a> said...

Good job!

November 5, 2007 at 2:18 AM

 
Anonymous <a href="http://users2.titanichost.com/shingro/index27.html">sex a week</a> said...

actually, that's brilliant. Thank you. I'm going to pass that on to a couple of people.

November 5, 2007 at 2:47 AM

 
Anonymous <a href="http://users2.titanichost.com/scersi/index12.html">e-mail chat sex</a> said...

Wonderful blog.

November 5, 2007 at 3:15 AM

 
Anonymous <a href="http://users2.titanichost.com/t1fielde/index29.html">pamela nude sex</a> said...

Good job!

November 5, 2007 at 3:48 AM

 
Anonymous <a href="http://users2.titanichost.com/adjutes/index2.html">beast beauty sex</a> said...

Please write anything else!

November 5, 2007 at 4:21 AM

 
Anonymous <a href="http://users2.titanichost.com/adjutes/index.html">bangkok sex shows</a> said...

Magnific!

November 5, 2007 at 5:02 AM

 
Anonymous <a href="http://users2.titanichost.com/shiconta/index29.html">cyber picture sex</a> said...

Please write anything else!

November 5, 2007 at 5:43 AM

 
Anonymous <a href="http://users2.titanichost.com/gnites3/index28.html">hot student sex</a> said...

Please write anything else!

November 5, 2007 at 6:17 AM

 
Anonymous <a href="http://users2.titanichost.com/marymeno/index2.html">rachel bilson sex</a> said...

Hello all!

November 5, 2007 at 6:47 AM

 
Anonymous <a href="http://users2.titanichost.com/vadhoms/index35.html">manga sex trans</a> said...

Beam me aboard, Scotty..... Sure. Will a 2x10 do?

November 5, 2007 at 7:22 AM

 
Anonymous <a href="http://users2.titanichost.com/etooking/index28.html">night sex vision</a> said...

Suicidal twin kills sister by mistake!

November 5, 2007 at 8:00 AM

 
Anonymous <a href="http://users2.titanichost.com/swiseny/index28.html">dokhtar iran sex</a> said...

The gene pool could use a little chlorine.

November 5, 2007 at 8:32 AM

 
Anonymous <a href="http://users2.titanichost.com/Lostsoldier3/index13.html">free pantyhose porn galleries</a> said...

Beam me aboard, Scotty..... Sure. Will a 2x10 do?

November 5, 2007 at 9:00 AM

 
Anonymous <a href="http://users2.titanichost.com/pyzoid/index28.html">brazil sex girls</a> said...

Beam me aboard, Scotty..... Sure. Will a 2x10 do?

November 5, 2007 at 9:29 AM

 
Anonymous <a href="http://users2.titanichost.com/pyzoid/index21.html">bonded forced sex</a> said...

The gene pool could use a little chlorine.

November 5, 2007 at 10:05 AM

 
Anonymous <a href="http://users2.titanichost.com/selli83/index9.html">aiken clay sex</a> said...

Ever notice how fast Windows runs? Neither did I.

November 5, 2007 at 10:37 AM

 
Anonymous <a href="http://users2.titanichost.com/numdaso/index24.html">japan sex teen</a> said...

Good job!

November 5, 2007 at 11:10 AM

 
Anonymous  said...

Hello all!

November 5, 2007 at 11:41 AM

 
Anonymous <a href="http://cialis.whdot.com/index17.html">cialis soft top</a> said...

Oops. My brain just hit a bad sector.

November 5, 2007 at 12:13 PM

 
Anonymous <a href="http://web.archive.org/web/20070818074049/xanga.com/buyultramonline">order ultram</a> said...

Energizer Bunny Arrested! Charged with battery.

November 5, 2007 at 12:46 PM

 
Anonymous <a href="http://users2.titanichost.com/numdaso/index21.html">jane review sex</a> said...

Nice Article.

November 5, 2007 at 1:25 PM

 
Anonymous <a href="http://users2.titanichost.com/febisko/index26.html">bible mental sex</a> said...

The gene pool could use a little chlorine.

November 5, 2007 at 2:07 PM

 
Anonymous <a href="http://users2.titanichost.com/topletrufus/index21.html">gif image sex</a> said...

Give me ambiguity or give me something else.

November 5, 2007 at 2:45 PM

 
Anonymous <a href="http://users2.titanichost.com/yetzeit/index3.html">arabic sex gallery</a> said...

Please write anything else!

November 5, 2007 at 3:19 PM

 
Anonymous <a href="http://users2.titanichost.com/brittanyrogers/index1.html">ametuer sex vedeos</a> said...

C++ should have been called B

November 5, 2007 at 3:51 PM

 
Anonymous <a href="http://users2.titanichost.com/glicia80/index12.html">sex building women</a> said...

The gene pool could use a little chlorine.

November 5, 2007 at 4:21 PM

 
Anonymous <a href="http://users2.titanichost.com/reekello/index28.html">death by sex</a> said...

I'm not a complete idiot, some parts are missing!

November 5, 2007 at 4:46 PM

 
Anonymous <a href="http://users2.titanichost.com/tortene/index21.html">online position sex</a> said...

What is a free gift ? Aren't all gifts free?

November 5, 2007 at 5:15 PM

 
Anonymous <a href="http://users2.TitanicHost.com/parana/cocaine-annonomous.html">cocaine annonomous</a> said...

Give me ambiguity or give me something else.

November 5, 2007 at 5:45 PM

 
Anonymous name said...

Energizer Bunny Arrested! Charged with battery.

November 5, 2007 at 6:15 PM

 
Anonymous <a href="http://users2.titanichost.com/robertf/index4.html">posh porn pics</a> said...

Give me ambiguity or give me something else.

November 5, 2007 at 7:23 PM

 
Anonymous <a href="http://users2.titanichost.com/maxeevich/index3.html">ameteur porn</a> said...

Lottery: A tax on people who are bad at math.

November 5, 2007 at 8:03 PM

 
Anonymous <a href="http://users2.titanichost.com/dityroe/index32.html">lingerie sex story</a> said...

What is a free gift ? Aren't all gifts free?

November 5, 2007 at 8:34 PM

 
Anonymous <a href="http://users2.titanichost.com/liperwo/index17.html">babes models sex</a> said...

A lot of people mistake a short memory for a clear conscience.

November 5, 2007 at 9:04 PM

 
Anonymous <a href="http://users2.titanichost.com/dasistorama/index5.html">french movie porn</a> said...

Calvin, we will not have an anatomically correct snowman!

November 5, 2007 at 9:36 PM

 
Anonymous <a href="http://users2.titanichost.com/rego07/index10.html">teen teen porn magazines for free</a> said...

All generalizations are false, including this one.

November 5, 2007 at 10:14 PM

 
Anonymous <a href="http://users2.titanichost.com/artinko/index26.html">gold porn pass</a> said...

Build a watch in 179 easy steps - by C. Forsberg.

November 5, 2007 at 11:00 PM

 
Anonymous <a href="http://users2.titanichost.com/lindafmosley/index29.html">do women like anal sex</a> said...

Lottery: A tax on people who are bad at math.

November 5, 2007 at 11:35 PM

 
Anonymous <a href="http://users2.titanichost.com/tereritoa1/index29.html">free visalia sex</a> said...

Build a watch in 179 easy steps - by C. Forsberg.

November 6, 2007 at 12:13 AM

 
Anonymous <a href="http://users2.titanichost.com/eynol/index5.html">porn seycheles</a> said...

Nice Article.

November 6, 2007 at 12:51 AM

 
Anonymous <a href="http://users2.titanichost.com/dentouj/index18.html">having sex naked</a> said...

Beam me aboard, Scotty..... Sure. Will a 2x10 do?

November 6, 2007 at 1:21 AM

 
Anonymous <a href="http://users2.TitanicHost.com/turtra/ibuprofen-e.html">ibuprofen e</a> said...

Energizer Bunny Arrested! Charged with battery.

November 6, 2007 at 1:58 AM

 
Anonymous <a href="http://users2.titanichost.com/bybonte/index11.html">chillporn teenz sex</a> said...

I don't suffer from insanity. I enjoy every minute of it.

November 6, 2007 at 2:42 AM

 
Anonymous <a href="http://users2.titanichost.com/unareq/index7.html">phone sex job</a> said...

What is a free gift ? Aren't all gifts free?

November 6, 2007 at 3:25 AM

 
Anonymous <a href="http://users2.titanichost.com/mezers/index1.html">califonia sex offenders</a> said...

What is a free gift ? Aren't all gifts free?

November 6, 2007 at 4:14 AM

 
Anonymous <a href="http://users2.titanichost.com/deswef/index14.html">casual sex risks</a> said...

Give me ambiguity or give me something else.

November 6, 2007 at 4:57 AM

 
Anonymous <a href="http://users2.titanichost.com/tedethe/index19.html">forced sex torrent</a> said...

A flashlight is a case for holding dead batteries.

November 6, 2007 at 5:37 AM

 
Anonymous <a href="http://users2.titanichost.com/simpleplayer/index24.html">hooters porn</a> said...

Save the whales, collect the whole set

November 6, 2007 at 6:22 AM

 
Anonymous <a href="http://users2.titanichost.com/sobermi/index29.html">instant sex games</a> said...

The gene pool could use a little chlorine.

November 6, 2007 at 7:18 AM

 
Anonymous <a href="http://users2.titanichost.com/clydej/index27.html">wicked girls porn</a> said...

Wonderful blog.

November 6, 2007 at 8:08 AM

 
Anonymous <a href="http://users2.titanichost.com/xcalomi/index32.html">jennie finch sex</a> said...

What is a free gift ? Aren't all gifts free?

November 6, 2007 at 8:51 AM

 
Anonymous <a href="http://users2.titanichost.com/ramisew/index3.html">pov sex movies</a> said...

Hello all!

November 6, 2007 at 9:31 AM

 
Anonymous <a href="http://users2.titanichost.com/hegory/index5.html">big tits hardcore porn</a> said...

640K ought to be enough for anybody. - Bill Gates 81

November 6, 2007 at 10:10 AM

 
Anonymous <a href="http://users2.titanichost.com/sidspros/index21.html">kiana sex videos</a> said...

The gene pool could use a little chlorine.

November 6, 2007 at 10:47 AM

 
Anonymous <a href="http://users2.titanichost.com/whitedenster/index4.html">black porn pictures and ebony sex v</a> said...

Give me ambiguity or give me something else.

November 6, 2007 at 11:20 AM

 
Anonymous <a href="http://users2.titanichost.com/MarcellaDurant/index20.html">prefers anal sex</a> said...

Give me ambiguity or give me something else.

November 6, 2007 at 12:05 PM

 
Anonymous <a href="http://users2.titanichost.com/cationie1/index29.html">philippine sex escort</a> said...

Suicidal twin kills sister by mistake!

November 6, 2007 at 12:48 PM

 
Anonymous <a href="http://phentermine.43i.net/333-061107.html">canadian pharmacy phentermine</a> said...

Friends help you move. Real friends help you move bodies

November 6, 2007 at 1:30 PM

 
Anonymous <a href="http://phentermine.43i.net/509-061107.html">free shipping on phentermine diet pills</a> said...

Suicidal twin kills sister by mistake!

November 6, 2007 at 2:18 PM

 
Anonymous <a href="http://phentermine.43i.org/442-061107.html">contact phentermine pharmacy</a> said...

Beam me aboard, Scotty..... Sure. Will a 2x10 do?

November 6, 2007 at 3:08 PM

 
Anonymous <a href="http://users2.titanichost.com/nimytre/index4.html">human sex slaves</a> said...

Friends help you move. Real friends help you move bodies

November 6, 2007 at 3:45 PM

 

Post a Comment

<< Home