Fourier–Motzkin消去法
Fourier–Motzkin消去法(英: Fourier-Motzkin elimination)とは、数理論理学および計算機科学において、一次不等式からなる一階述語論理式の限量子(∀や∃)を除去するアルゴリズム。限量子消去法(英: Quantifier elimination)の1つ。1826年にジョゼフ・フーリエが発見し、1918年に L. L. Dines が再発見し、1936年に Theodore Motzkin が再々発見した。