generated at
Fourier-Motzkin elimination
Fourier–Motzkin消去法
Farkas' lemma – can be proved using FM elimination.
Real closed field – the cylindrical algebraic decomposition algorithm performs quantifier elimination over polynomial inequalities, not just linear.

googleFourier-Motzkin elimination
Google画像検索Fourier-Motzkin elimination
Google定義検索 Fourier-Motzkin elimination
wikipediaFourier-Motzkin elimination
weblio Fourier-Motzkin elimination
kotobank Fourier-Motzkin elimination
jisho Fourier-Motzkin elimination