.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Mechanical Theorem Proving in Geometries: Basic Principles
Wen Tsun Wu
€ 67.48
FREE Delivery in Ireland
Description for Mechanical Theorem Proving in Geometries: Basic Principles
paperback. A translation of Professor Wu's seminal Chinese book of 1984 on Automated Geometric Theorem Proving. This book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples. Translator(s): Jin, X.; Wang, D. Series: Texts and Monographs in Symbolic Computation. Num Pages: 302 pages, biography. BIC Classification: PBCH; PBMS; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 17. Weight in Grams: 534.
There seems to be no doubt that geometry originates from such practical activ ities as weather observation and terrain survey. But there are different manners, methods, and ways to raise the various experiences to the level of theory so that they finally constitute a science. F. Engels said, "The objective of mathematics is the study of space forms and quantitative relations of the real world. " Dur ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented by the Euclid's "Elements," purely pursued the logical relations among geometric entities, excluding completely the quantita ... Read more
There seems to be no doubt that geometry originates from such practical activ ities as weather observation and terrain survey. But there are different manners, methods, and ways to raise the various experiences to the level of theory so that they finally constitute a science. F. Engels said, "The objective of mathematics is the study of space forms and quantitative relations of the real world. " Dur ing the time of the ancient Greeks, there were two different methods dealing with geometry: one, represented by the Euclid's "Elements," purely pursued the logical relations among geometric entities, excluding completely the quantita ... Read more
Product Details
Format
Paperback
Publication date
1994
Publisher
Springer Austria
Number of pages
302
Condition
New
Series
Texts and Monographs in Symbolic Computation
Number of Pages
288
Place of Publication
Vienna, Austria
ISBN
9783211825068
SKU
V9783211825068
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Mechanical Theorem Proving in Geometries: Basic Principles