軌道力学
ヨハネス・ケプラーは、高い正確性で惑星の軌道のモデル化に成功した最初の人物であり、1605年にケプラーの法則を発表した。アイザック・ニュートンは、天体の運動のより一般的な法則を1687年の著書『自然哲学の数学的諸原理』の中で発表した。
ケプラー予想
ミシガン大学に在籍していたトマス・ヘイルズは、ラースロー・フェイェシュ＝トートが提案したアプローチにならい、150個の変数を持つある関数を最小化することによって最大密度配置を見出せると考えた。1992年、大学院生のサミュエル・ファーガソンを助手としたヘイルズは、系統的な線型計画法により、すべての異なる配置の集合に含まれる5000種以上の配置一つ一つについて関数値の下界を求める計画に着手した。すべての配置で関数の下界が立方最密配置の関数値を超えるならば、それがケプラー予想の証明になる。可能なすべてのケースについて下界を求めるには、10万個ほどの線形計画問題を解く必要があった。