Title: Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation)
Publisher: Springer Verlag
Publication Date: 1994
Language: English
ISBN 10: 0387825061
ISBN 13: 9780387825069
Binding: Paperback
Condition: Good
Weight: 17 ounces

About this title

Synopsis

This book is a translation of Professor Wu's seminal Chinese book of 1984 on Automated Geometric Theorem Proving. The translation was done by his former student Dongming Wang jointly with Xiaofan Jin so that authenticity is guaranteed. Meanwhile, automated geometric theorem proving based on Wu's method of characteristic sets has become one of the fundamental, practically successful, methods in this area that has drastically enhanced the scope of what is computationally tractable in automated 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.

Language Notes

Text: English (translation)
Original Language: Chinese

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

Swan Trading Company
TX, U.S.A.

Sale & Shipping Terms

Terms of Sale

We accept all Abebooks supported payment options displayed at checkout. Please contact us if you feel you need to return the book.

Swan Trading Company

Mark and Susan Lyons
2915 Brandy Ln
Georgetown, TX 78628
(512) 497-2398

Shipping Terms

We normally ship in one to two business days. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. We ship US Media Mail, Priority Mail, First Class International, and Priority Mail International.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 0.00	US$ 8.20

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.