Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Kepler_conjecture> ?p ?o }
- Kepler_conjecture abstract "The Kepler conjecture, named after the 17th-century mathematician and astronomer Johannes Kepler, is a mathematical conjecture about sphere packing in three-dimensional 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 (face-centered cubic) and hexagonal close packing arrangements. The density of these arrangements is around 74.04%.In 1998 Thomas Hales, following an approach suggested by Fejes Tóth (1953), 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.".
- Kepler_conjecture thumbnail Closepacking.svg?width=300.
- Kepler_conjecture wikiPageExternalLink ?IDDOC=267233.
- Kepler_conjecture wikiPageExternalLink 200004.
- Kepler_conjecture wikiPageExternalLink strena.html.
- Kepler_conjecture wikiPageExternalLink Flyspeck-Tame.shtml.
- Kepler_conjecture wikiPageExternalLink p01.xhtml.
- Kepler_conjecture wikiPageExternalLink 9906042.
- Kepler_conjecture wikiPageExternalLink 9811.5079.
- Kepler_conjecture wikiPageExternalLink thalespitt.
- Kepler_conjecture wikiPageExternalLink issue.aspx.
- Kepler_conjecture wikiPageExternalLink kepler2.gif.
- Kepler_conjecture wikiPageExternalLink SixCornered.html.
- Kepler_conjecture wikiPageExternalLink cannonOverview.html.
- Kepler_conjecture wikiPageExternalLink flyspeck.
- Kepler_conjecture wikiPageID "368311".
- Kepler_conjecture wikiPageLength "16534".
- Kepler_conjecture wikiPageOutDegree "56".
- Kepler_conjecture wikiPageRevisionID "671896579".
- Kepler_conjecture wikiPageWikiLink Annals_of_Mathematics.
- Kepler_conjecture wikiPageWikiLink Atomic_theory.
- Kepler_conjecture wikiPageWikiLink Automated_proof_checking.
- Kepler_conjecture wikiPageWikiLink Axel_Thue.
- Kepler_conjecture wikiPageWikiLink Category:Conjectures.
- Kepler_conjecture wikiPageWikiLink Category:Conjectures_which_were_proven.
- Kepler_conjecture wikiPageWikiLink Category:Discrete_geometry.
- Kepler_conjecture wikiPageWikiLink Category:Hilberts_problems.
- Kepler_conjecture wikiPageWikiLink Category:Johannes_Kepler.
- Kepler_conjecture wikiPageWikiLink Close-packing_of_equal_spheres.
- Kepler_conjecture wikiPageWikiLink Conjecture.
- Kepler_conjecture wikiPageWikiLink Cubic_crystal_system.
- Kepler_conjecture wikiPageWikiLink David_Hilbert.
- Kepler_conjecture wikiPageWikiLink Euclidean_space.
- Kepler_conjecture wikiPageWikiLink Face-centered_cubic.
- Kepler_conjecture wikiPageWikiLink Finite_set.
- Kepler_conjecture wikiPageWikiLink Foam.
- Kepler_conjecture wikiPageWikiLink Frank_and_Brennie_Morgan_Prize_for_Outstanding_Research_in_Mathematics_by_an_Undergraduate_Student.
- Kepler_conjecture wikiPageWikiLink Fulkerson_Prize.
- Kepler_conjecture wikiPageWikiLink Gigabyte.
- Kepler_conjecture wikiPageWikiLink Gábor_Fejes_Tóth.
- Kepler_conjecture wikiPageWikiLink HOL_Light.
- Kepler_conjecture wikiPageWikiLink Hexagonal_close_packing.
- Kepler_conjecture wikiPageWikiLink Hilberts_eighteenth_problem.
- Kepler_conjecture wikiPageWikiLink Hilberts_problems.
- Kepler_conjecture wikiPageWikiLink Honeycomb_conjecture.
- Kepler_conjecture wikiPageWikiLink Isabelle_(proof_assistant).
- Kepler_conjecture wikiPageWikiLink Johannes_Kepler.
- Kepler_conjecture wikiPageWikiLink John_Wiley_&_Sons.
- Kepler_conjecture wikiPageWikiLink Kelvin_structure.
- Kepler_conjecture wikiPageWikiLink Lattice_(group).
- Kepler_conjecture wikiPageWikiLink Linear_programming.
- Kepler_conjecture wikiPageWikiLink László_Fejes_Tóth.
- Kepler_conjecture wikiPageWikiLink Mathematics.
- Kepler_conjecture wikiPageWikiLink Morgan_Prize.
- Kepler_conjecture wikiPageWikiLink Notices_of_the_American_Mathematical_Society.
- Kepler_conjecture wikiPageWikiLink Packing_density.
- Kepler_conjecture wikiPageWikiLink Proof_by_exhaustion.
- Kepler_conjecture wikiPageWikiLink Sir_Walter_Raleigh.
- Kepler_conjecture wikiPageWikiLink Sphere.
- Kepler_conjecture wikiPageWikiLink Sphere_packing.
- Kepler_conjecture wikiPageWikiLink Springer-Verlag.
- Kepler_conjecture wikiPageWikiLink Springer_Science+Business_Media.
- Kepler_conjecture wikiPageWikiLink The_Mathematical_Intelligencer.
- Kepler_conjecture wikiPageWikiLink Theorem.
- Kepler_conjecture wikiPageWikiLink Thomas_Callister_Hales.
- Kepler_conjecture wikiPageWikiLink Thomas_Harriot.
- Kepler_conjecture wikiPageWikiLink Ulams_packing_conjecture.
- Kepler_conjecture wikiPageWikiLink University_of_Michigan.
- Kepler_conjecture wikiPageWikiLink Voronoi.
- Kepler_conjecture wikiPageWikiLink Voronoi_diagram.
- Kepler_conjecture wikiPageWikiLink Walter_Raleigh.
- Kepler_conjecture wikiPageWikiLink Weaire–Phelan_structure.
- Kepler_conjecture wikiPageWikiLink File:Closepacking.svg.
- Kepler_conjecture wikiPageWikiLink File:Kepler_conjecture_2.jpg.
- Kepler_conjecture wikiPageWikiLinkText "Flyspeck 1".
- Kepler_conjecture wikiPageWikiLinkText "Flyspeck proof".
- Kepler_conjecture wikiPageWikiLinkText "Kepler conjecture".
- Kepler_conjecture wikiPageWikiLinkText "Thue's theorem".
- Kepler_conjecture authorlink "Carl Friedrich Gauss".
- Kepler_conjecture authorlink "Johannes Kepler".
- Kepler_conjecture first "Carl Friedrich".
- Kepler_conjecture first "Johannes".
- Kepler_conjecture first "Wu-Yi".
- Kepler_conjecture hasPhotoCollection Kepler_conjecture.
- Kepler_conjecture last "Gauss".
- Kepler_conjecture last "Hsiang".
- Kepler_conjecture last "Kepler".
- Kepler_conjecture title "Kepler Conjecture".
- Kepler_conjecture urlname "KeplerConjecture".
- Kepler_conjecture wikiPageUsesTemplate Template:Citation.
- Kepler_conjecture wikiPageUsesTemplate Template:Citation_needed.
- Kepler_conjecture wikiPageUsesTemplate Template:Harvs.
- Kepler_conjecture wikiPageUsesTemplate Template:Harvtxt.
- Kepler_conjecture wikiPageUsesTemplate Template:Johannes_Kepler.
- Kepler_conjecture wikiPageUsesTemplate Template:MathWorld.
- Kepler_conjecture wikiPageUsesTemplate Template:Reflist.
- Kepler_conjecture year "1611".
- Kepler_conjecture year "1831".
- Kepler_conjecture year "1993".
- Kepler_conjecture year "2001".