軌道力学
ヨハネス・ケプラーは、高い正確性で惑星の軌道のモデル化に成功した最初の人物であり、1605年にケプラーの法則を発表した。アイザック・ニュートンは、天体の運動のより一般的な法則を1687年の著書『自然哲学の数学的諸原理』の中で発表した。
球充填
1611年、ヨハネス・ケプラーは、これが正規配置と非正規配置全てについて最高密度の配置であると予想した。この命題はケプラー予想と呼ばれる。1998年、は1953年にフェイェシュ＝トートが示唆した手法を使って、ケプラー予想を証明したと発表した。ヘイルズの証明は、コンピュータを使ってあらゆる個々のケースを調べつくすという方法であった。審査員はヘイルズの証明の正しさを99%としており、ケプラー予想は「ほぼ」証明された状態と言える。後の2014 年、Halesの率いるチームは自動証明検証ツールを用いて形式的証明を完了したと発表し、疑念を晴らした。。