Kepler conjecture ^{en}
The Kepler conjecture, named after the 17thcentury German mathematician and astronomer Johannes Kepler, is a mathematical conjecture about sphere packing in threedimensional Euclidean space. It says that no arrangement of equally sized spheres filling space has a greater average density than that of the cubic close packing and hexagonal close packing arrangements. The density of these arrangements is slightly greater than 74%. In 1998 Thomas Hales, following an approach suggested by Fejes Tóth, announced that he had a proof of the Kepler conjecture. Hales' proof is a proof by exhaustion involving the checking of many individual cases using complex computer calculations. Referees have said that they are "99% certain" of the correctness of Hales' proof, so the Kepler conjecture is now very close to being accepted as a theorem. In 2014, the Flyspeck project team, headed by Hales, announced the completion of a formal proof of the Kepler conjecture using a combination of the Isabelle and HOL Light proof assistants. [  ]
Freebase Commons Metaweb System Types /type
 
 Kepler conjecture
 /wikipedia/pt_title/Conjectura_de_Kepler
 /wikipedia/pt/Conjectura_de_Kepler
 /wikipedia/pt_id/4651217
 /wikipedia/ar/Kepler_conjecture
 /wikipedia/fa/$062D$062F$0633_$0643$067E$0644$0631
 /wikipedia/fa_id/3355818
 /wikipedia/fa/$062D$062F$0633_$06A9$067E$0644$0631
 /wikipedia/fa_title/$062D$062F$0633_$06A9$067E$0644$0631
 /en/kepler_conjecture
 /wikipedia/it_id/323268
 /wikipedia/de/Keplersche_Vermutung
 /wikipedia/de_id/774378
 /wikipedia/de_title/Keplersche_Vermutung
 /wikipedia/fr_title/Conjecture_de_Kepler
 /wikipedia/it_title/Congettura_di_Keplero
 /wikipedia/zhcn/$5F00$666E$52D2$731C$60F3
 /wikipedia/fi_title/Keplerin_konjektuuri
 /wikipedia/ar_title/$062D$062F$0633$064A$0629_$0643$064A$0628$0644$0631
 /wikipedia/ru_title/$0413$0438$043F$043E$0442$0435$0437$0430_$041A$0435$043F$043B$0435$0440$0430
 /wikipedia/es/Conjetura_de_kepler
 /wikipedia/zhcn/$514B$535C$52D2$731C$60F3
 /wikipedia/pl/Postulat_Keplera
 /wikipedia/pl_title/Postulat_Keplera
 /wikipedia/pl_id/296608
 /wikipedia/nl_title/Vermoeden_van_Kepler
 /wikipedia/zhcn_id/1682279
 /wikipedia/sl_title/Keplerjeva_domneva
 /wikipedia/fi/Keplerin_otaksuma
 /wikipedia/zhcn_title/$514B$535C$52D2$731C$60F3
 /wikipedia/ar_id/399271
 /wikipedia/ru/$0413$0438$043F$043E$0442$0435$0437$0430_$041A$0435$043F$043B$0435$0440$0430
 /wikipedia/ko_id/84819
 /wikipedia/es_id/1291685
 /wikipedia/ar/$062D$062F$0633$064A$0629_$0643$064A$0628$0644$0631
 /wikipedia/ko_title/$CF00$D50C$B7EC$C758_$CD94$CE21
 /wikipedia/ko/$CF00$D50C$B7EC$C758_$CD94$CE21
 /wikipedia/es/Conjetura_de_Kepler
 /wikipedia/ru_id/3710544
 /wikipedia/sl_id/183898
 /wikipedia/fr/Conjecture_de_Kepler
 /wikipedia/en/Kepler_Problem
 /wikipedia/zhtw/$514B$535C$52D2$731C$60F3
 /wikipedia/sl/Keplerjeva_domneva
 /wikipedia/fi_id/892256
 /wikipedia/de/KeplerVermutung
 /wikipedia/fr_id/1775107
 /wikipedia/en/Kepler_Conjecture
 /wikipedia/nl/Vermoeden_van_Kepler
 /wikipedia/fi/Keplerin_konjektuuri
 /wikipedia/en/Kepler_conjecture
 /wikipedia/es_title/Conjetura_de_Kepler
 /wikipedia/zhtw_title/$514B$535C$52D2$731C$60F3
 /wikipedia/zhtw/$958B$666E$52D2$731C$60F3
 /wikipedia/it/Congettura_di_Keplero
 /wikipedia/zhcn/$958B$666E$52D2$731C$60F3
 /wikipedia/en_title/Kepler_conjecture
 /wikipedia/nl_id/1802999
 /wikipedia/en_id/368311
 /wikipedia/zhtw/$5F00$666E$52D2$731C$60F3
 /wikipedia/zhtw_id/1682279
 /wikipedia/en/Kepler$0027s_conjecture
 
 
 
 http://it.wikipedia.org/wiki/index.html?curid=323268
 http://de.wikipedia.org/wiki/index.html?curid=774378
 http://es.wikipedia.org/wiki/index.html?curid=1291685
 http://de.wikipedia.org/wiki/Keplersche_Vermutung
 http://sl.wikipedia.org/wiki/index.html?curid=183898
 http://ko.wikipedia.org/wiki/index.html?curid=84819
 http://ar.wikipedia.org/wiki/حدسية_كيبلر
 http://ru.wikipedia.org/wiki/Гипотеза_Кеплера
 http://ru.wikipedia.org/wiki/index.html?curid=3710544
 http://pl.wikipedia.org/wiki/Postulat_Keplera
 
 
 
 
 
 

 
 