ケプラーの法則
ケプラーの法則（ケプラーのほうそく）は、1609年から約1619年にかけてヨハネス・ケプラーによって発表された惑星の運動に関する法則である。
ケプラー予想
証明の形式が異例だったにもかかわらず、Annals of Mathematics誌の編集者は掲載に同意したが、12人の専門家による査読を条件とした。2003年、四年間の作業を経て、査読者団の筆頭であったガボル・フェイェシュ＝トートは証明が正しいことに「99%の確信を持っている」と報告した。しかし、コンピュータによる計算がすべて正しいと保証することはできなかった。