Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q966873> ?p ?o }
Showing triples 1 to 69 of
69
with 100 triples per page.
- Q966873 subject Q6248542.
- Q966873 subject Q7158865.
- Q966873 subject Q7216577.
- Q966873 subject Q7413853.
- Q966873 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.".
- Q966873 thumbnail Closepacking.svg?width=300.
- Q966873 wikiPageExternalLink ?IDDOC=267233.
- Q966873 wikiPageExternalLink Flyspeck-Tame.shtml.
- Q966873 wikiPageExternalLink p01.xhtml.
- Q966873 wikiPageExternalLink 9906042.
- Q966873 wikiPageExternalLink 9811.5079.
- Q966873 wikiPageExternalLink thalespitt.
- Q966873 wikiPageExternalLink issue.aspx.
- Q966873 wikiPageExternalLink 200004.
- Q966873 wikiPageExternalLink kepler2.gif.
- Q966873 wikiPageExternalLink SixCornered.html.
- Q966873 wikiPageExternalLink cannonOverview.html.
- Q966873 wikiPageExternalLink strena.html.
- Q966873 wikiPageExternalLink flyspeck.
- Q966873 wikiPageWikiLink Q1004305.
- Q966873 wikiPageWikiLink Q1037840.
- Q966873 wikiPageWikiLink Q1096885.
- Q966873 wikiPageWikiLink Q11059889.
- Q966873 wikiPageWikiLink Q12507.
- Q966873 wikiPageWikiLink Q1398901.
- Q966873 wikiPageWikiLink Q1479654.
- Q966873 wikiPageWikiLink Q17295.
- Q966873 wikiPageWikiLink Q176916.
- Q966873 wikiPageWikiLink Q1810244.
- Q966873 wikiPageWikiLink Q18356153.
- Q966873 wikiPageWikiLink Q18385933.
- Q966873 wikiPageWikiLink Q189144.
- Q966873 wikiPageWikiLink Q2005981.
- Q966873 wikiPageWikiLink Q202843.
- Q966873 wikiPageWikiLink Q210553.
- Q966873 wikiPageWikiLink Q215414.
- Q966873 wikiPageWikiLink Q230492.
- Q966873 wikiPageWikiLink Q2396083.
- Q966873 wikiPageWikiLink Q2404489.
- Q966873 wikiPageWikiLink Q24158.
- Q966873 wikiPageWikiLink Q272404.
- Q966873 wikiPageWikiLink Q273167.
- Q966873 wikiPageWikiLink Q315402.
- Q966873 wikiPageWikiLink Q319141.
- Q966873 wikiPageWikiLink Q3527261.
- Q966873 wikiPageWikiLink Q372010.
- Q966873 wikiPageWikiLink Q395.
- Q966873 wikiPageWikiLink Q41585.
- Q966873 wikiPageWikiLink Q460340.
- Q966873 wikiPageWikiLink Q473227.
- Q966873 wikiPageWikiLink Q4826475.
- Q966873 wikiPageWikiLink Q5282042.
- Q966873 wikiPageWikiLink Q5635438.
- Q966873 wikiPageWikiLink Q564426.
- Q966873 wikiPageWikiLink Q564831.
- Q966873 wikiPageWikiLink Q6248542.
- Q966873 wikiPageWikiLink Q65943.
- Q966873 wikiPageWikiLink Q7158865.
- Q966873 wikiPageWikiLink Q7216577.
- Q966873 wikiPageWikiLink Q7413853.
- Q966873 wikiPageWikiLink Q79738.
- Q966873 wikiPageWikiLink Q847858.
- Q966873 wikiPageWikiLink Q869539.
- Q966873 wikiPageWikiLink Q8963.
- Q966873 wikiPageWikiLink Q900117.
- Q966873 wikiPageWikiLink Q9299950.
- Q966873 comment "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.".
- Q966873 label "Kepler conjecture".
- Q966873 depiction Closepacking.svg.