QEの計算アルゴリズムとその応用 : 数式処理による最適化
著者
書誌事項
QEの計算アルゴリズムとその応用 : 数式処理による最適化
東京大学出版会, 2011.8
- タイトル別名
-
Algorithms of quantifier elimination and their applications : optimization by symbolic and algebraic methods
Quantifier Eliminationの計算アルゴリズムとその応用 : 数式処理による最適化
- タイトル読み
-
QE ノ ケイサン アルゴリズム ト ソノ オウヨウ : スウシキ ショリ ニヨル サイテキカ
大学図書館所蔵 件 / 全127件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p239-243
内容説明・目次
目次
- 1 QE入門(QEを使ってみよう;QEとCADの概要)
- 2 QEアルゴリズム(QE計算のための多項式入門;QEとCADのアルゴリズム)
- 3 QEの実応用(QEのより進んだ利用法;QEの実応用事例)
「BOOKデータベース」 より