Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications - Wen Tsun Wu - 書籍 - Kluwer Academic Publishers - 9780792358350 - 2001年4月30日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications 2001 edition

価格
¥ 16.835
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月12日 - 2026年1月22日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加

This collection of essays centres around the subject of mathematical mechanization. It tries to deal with mathematics in a constructive and algorithmic manner so that reasoning becomes mechanical, automated and less laborious.


432 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2001年4月30日
発売日 2000
ISBN13 9780792358350
出版社 Kluwer Academic Publishers
ページ数 432
寸法 155 × 235 × 23 mm   ·   784 g
言語 英語  

Wen Tsun Wuの他の作品を見る

すべて表示