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

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

数式処理による最適化

ISBN978-4-13-061406-1発売日:2011年08月18日判型:A5ページ数:264頁

内容紹介

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

主要目次

はじめに
I QE入門
第1章 QEを使ってみよう
第2章 QEとCADの概要
II QEアルゴリズム
第3章 QE計算のための多項式入門 
第4章 QEとCADのアルゴリズム
III QEの実応用
第5章 QEのより進んだ利用法
第6章 QEの実応用事例

関連書

●書籍検索

●ジャンル

シリーズ・講座

●最新情報