Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation - Bob F Caviness - 書籍 - Springer Verlag GmbH - 9783211827949 - 1998年4月16日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Bob F Caviness
Quantifier Elimination and Cylindrical Algebraic Decomposition - Texts & Monographs in Symbolic Computation Softcover reprint of the original 1st ed. 1998 edition

価格
NOK 559
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月4日 - 年12月16日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

George Collins' discovery of Cylindrical Algebraic Decomposition (CAD) as a method for Quantifier Elimination (QE) for the elementary theory of real closed fields brought a major breakthrough in automating mathematics with recent important applications in high-tech areas (e.g.

450 pages, 16 black & white illustrations

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1998年4月16日
ISBN13 9783211827949
出版社 Springer Verlag GmbH
ページ数 431
寸法 170 × 244 × 23 mm   ·   721 g
言語 ドイツ語  
編集者 Caviness, Bob F.
編集者 Johnson, Jeremy R.
すべて表示

Bob F Cavinessの他の作品を見る

Bob F Cavinessのすべてを見る ( 例： Paperback Book )