資料詳細

  • 1 件中、 1 件目

[ 和図書 ] QEの計算アルゴリズムとその応用 数式処理による最適化

穴井 宏和／著 -- 東京大学出版会 -- 2011.8 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /418.1/5040/2011 5021004261 Digital BookShelf
2011/09/15 可能 利用可   0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。

ページの先頭へ

資料詳細 閉じる

ISBN 4-13-061406-1
ISBN13桁 978-4-13-061406-1
タイトル QEの計算アルゴリズムとその応用
タイトルカナ キューイー ノ ケイサン アルゴリズム ト ソノ オウヨウ
タイトル関連情報 数式処理による最適化
タイトル関連情報読み スウシキ ショリ ニ ヨル サイテキカ
著者名 穴井 宏和 ／著, 横山 和弘 ／著
著者名典拠番号

110005339890000 , 110004007590000

並列タイトル Algorithms of Quantifier Elimination and their Applications:Optimization by Symbolic and Algebraic Methods
出版地 東京
出版者 東京大学出版会
出版者カナ トウキョウ ダイガク シュッパンカイ
出版年 2011.8
ページ数 11, 249p
大きさ 21cm
価格 ¥3600
内容紹介 適用範囲の広い新しい計算ツール「QE」の理論と計算を学べる入門書。QEの概略を説明し、QEとその重要な代数計算法であるCAD法について詳解。応用事例なども紹介する。
書誌・年譜・年表 文献:p239〜243
一般件名 記号論理学-ndlsh-00565709
一般件名カナ キゴウロンリガク-00565709
一般件名 数値計算-データ処理 , アルゴリズム
一般件名カナ スウチ ケイサン-データ ショリ,アルゴリズム
一般件名典拠番号

511035710010000 , 510093100000000

分類：都立NDC10版 418.1
資料情報1 『QEの計算アルゴリズムとその応用 数式処理による最適化』　穴井 宏和／著, 横山 和弘／著 　東京大学出版会　2011.8（所蔵館：中央　 請求記号：/418.1/5040/2011　 資料コード：5021004261）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1108493355

ページの先頭へ