このページのリンク

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

データ種別 図書
出版者 東京 : 東京大学出版会
出版年 2011.8
本文言語 日本語
大きさ xi, 249p : 挿図 ; 21cm
目次/あらすじ

所蔵情報を非表示


GF: 一般書架 418/A461q 07355747
9784130614061

書誌詳細を非表示

別書名 標題紙タイトル:Algorithms of quantifier elimination and their applications : optimization by symbolic and algebraic methods
一般注記 参考文献: p239-243
著者標目 穴井, 宏和 <アナイ, ヒロカズ>
横山, 和弘(1958-) <ヨコヤマ, カズヒロ>
件 名 BSH:数値計算--データ処理
BSH:アルゴリズム
分 類 NDC8:418.1
NDC9:418.1
書誌ID 4100001319
ISBN 9784130614061
NCID BB06594011 WCLINK

 類似資料