このページのリンク

利用統計

  • このページへのアクセス:3回

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving

責任表示 by Wu Wen-tsun
シリーズ Mathematics and its applications ; v. 489
データ種別 図書
出版者 Dordrecht : Kluwer Academic Publishers
出版者 Beijing : Science Press
出版年 c2000
本文言語 英語
大きさ xii, 420 p. ; 25 cm
概要 This book is a collection of essays centred around the subject of mathematical mechanization. It tries to deal with mathematics in a constructive and algorithmic manner so that reasoning becomes mech...nical, automated and less laborious. The book is divided into three parts. Part I concerns historical developments of mathematics mechanization, especially in ancient China. Part II describes the underlying principles of polynomial equation-solving, with polynomial coefficients in fields restricted to the case of characteristic 0. Based on the general principle, some methods of solving such arbitrary polynomial systems may be found. This part also goes back to classical Chinese mathematics as well as treating modern works in this field. Finally, Part III contains applications and examples. Audience: This volume will be of interest to research and applied mathematicians, computer scientists and historians in mathematics.
This book is a collection of essays centred 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. The book is divided into three parts. Part I concerns historical developments of mathematics mechanization, especially in ancient China. Part II describes the underlying principles of polynomial equation-solving, with polynomial coefficients in fields restricted to the case of characteristic 0. Based on the general principle, some methods of solving such arbitrary polynomial systems may be found. This part also goes back to classical Chinese mathematics as well as treating modern works in this field. Finally, Part III contains applications and examples. Audience: This volume will be of interest to research and applied mathematicians, computer scientists and historians in mathematics.
続きを見る

所蔵情報


理系図3F 数理独自 023212001000760 WU,/30/2 2000

書誌詳細

一般注記 Includes bibliographical references and index
著者標目 *Wu, Wen-tsün
件 名 LCSH:Automatic theorem proving
LCSH:Equations -- Numerical solutions  全ての件名で検索
LCSH:Artificial intelligence
分 類 LCC:QA76.9.A96
DC21:511.3
書誌ID 1001396546
ISBN 7030066863
NCID BA52170765
巻冊次 : Science Press ; ISBN:7030066863
: Kluwer ; ISBN:079235835X
登録日 2009.11.02
更新日 2009.11.02

類似資料