QEの計算アルゴリズムとその応用

ＱＥ（quantifier elimination）とは，「ある（∃）」や「すべての（∀）」といった限量記号を用いて表される不等式や等式計算を，計算機で自動的に行う計算アルゴリズムである．大学入試問題や，制御・最適化などの実際の工学問題を事例に，基礎からわかりやすく解説する．