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

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

著者

穴井　宏和、横山　和弘

出版社

東京大学出版会

発売日

2011-08-01

価格

3,600円（税込・書誌情報提供：openBD）

ISBN

9784130614061

ページ数

264ページ

発売済み