このページのリンク

<図書>
QE ノ ケイサン アルゴリズム ト ソノ オウヨウ : スウシキ ショリ ニヨル サイテキカ
QEの計算アルゴリズムとその応用 : 数式処理による最適化 / 穴井宏和, 横山和弘著

出版者 東京 : 東京大学出版会
出版年 2011.8
本文言語 日本語
大きさ xi, 249p : 挿図 ; 21cm
著者標目 穴井, 宏和 (1966-) <アナイ, ヒロカズ>
横山, 和弘 (1958-) <ヨコヤマ, カズヒロ>
件 名 BSH:数値計算 -- データ処理  全ての件名で検索
BSH:アルゴリズム
一般注記 参考文献: p239-243
目次/あらすじ

所蔵情報を非表示

3F 図書 図書
418.1//A46

9784130614061


9201108812

書誌詳細を非表示

データ種別 図書
別書名 標題紙タイトル:Algorithms of quantifier elimination and their applications : optimization by symbolic and algebraic methods
表紙タイトル:Quantifier Eliminationの計算アルゴリズムとその応用 : 数式処理による最適化
分 類 NDC8:418.1
NDC9:418.1
書誌ID 2000053887
ISBN 9784130614061
NCID BB06594011

 類似資料