ケプラー予想
ケプラー予想（ケプラーよそう、）とは、17世紀の数学者・天文学者ヨハネス・ケプラーに由来する、三次元ユークリッド空間における球充填に関する数学的な予想である。それによると、等しい大きさの球で空間を充填（パッキング）するとき、平均密度が立方最密充填配置（面心立方）ならびに六方最密充填配置を越えることはない。これらの配置の密度はおよそ74.05%である。

1998年にはが提案した方法に従ってケプラー予想を証明したと発表した。多数のケース一つ一つを複雑なコンピュータシミュレーションでチェックするであった。査読者は証明が正しいことを「99%確信している」と評した。よってケプラー予想は定理として受け入れられる寸前に来ている。2014年、ヘイルズに率いられたフライスペック・プロジェクト（）のチームは、定理証明支援ツールであるおよびを組み合わせて用いることにより、ケプラー予想の形式的証明を完了したと発表した。
Q8963
ヨハネス・ケプラー
PER
Q17295
ユークリッド空間
Concept
Q900117
球充填
Concept
Q395
数学
Concept
None
予想
UNK
Q495460
平均密度
UNK
Q3006714
面心立方
Concept
Q11271065
六方最密充填配置
UNK
Q65943
定理
Concept
Q966873
ケプラー予想
Concept
Q966873
ケプラー予想
Concept
Q966873
ケプラー予想
Concept
Q966873
ケプラー予想
Concept
2017-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
17
DATE
1974-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
74
DATE
2005-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
05
DATE
22-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1998年
DATE
1999-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
99
DATE
6-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2014年
DATE
+17^^http://www.w3.org/2001/XMLSchema#decimal
17
NUMBER
+74.05^^http://www.w3.org/2001/XMLSchema#decimal
74.05
NUMBER
+99^^http://www.w3.org/2001/XMLSchema#decimal
99
NUMBER
named after
facet of
instance of
field of work
named after
facet of
instance of
named after
facet of
instance of
named after
facet of
instance of