軌道力学
ヨハネス・ケプラーは、高い正確性で惑星の軌道のモデル化に成功した最初の人物であり、1605年にケプラーの法則を発表した。アイザック・ニュートンは、天体の運動のより一般的な法則を1687年の著書『自然哲学の数学的諸原理』の中で発表した。
ヨハネス・ケプラー
ケプラーはまた、球を敷き詰めたときに、面心立方格子が最密になると予想した。
この予想はケプラー予想と呼ばれ、規則正しく敷き詰める場合に関してはカール・フリードリヒ・ガウスによって早々に証明されたが、
不規則な敷き詰め方に関しては、400年もの間未解決の問題であった。ケプラー予想は1998年に、トーマス・C・ヘイルズによって、コンピュータを駆使して解決された。