図書館

QE ノケイサンアルゴリズムトソノオウヨウ : スウシキショリニヨルサイテキカ

穴井宏和, 横山和弘著

東京 : 東京大学出版会, 2011.8

図書等

No.	所在	請求記号	資料ID	資料タイプ	状況（返却予定日）	コレクション	備考	予約・取り寄せ人数
1	中央	418.1-A46	10011019714	一般図書
2	中央	418.1-A46	10011022920	一般図書

別書名

Algorithms of quantifier elimination and their applications : optimization by symbolic and algebraic methods

Quantifier Eliminationの計算アルゴリズムとその応用 : 数式処理による最適化

著者情報

穴井, 宏和 (アナイ, ヒロカズ)

横山, 和弘(1958-) (ヨコヤマ, カズヒロ)

分類

NDC8:418.1

NDC9:418.1

件名

数値計算 -- データ処理