Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation)
Wu, Went Sun; Jin, Xiao Fan; Wang, Dong Ming
ISBN 10: 0387825061 ISBN 13: 9780387825069
Published by Springer-Verlag, 1994
New
Paperback
From
Basement Seller 101, Cincinnati, OH, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since June 13, 2019
This specific item is no longer available.
About this Item
Description:
Seller Inventory # 140817110
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.
Bibliographic Details
Title: Mechanical Theorem Proving in Geometries: ...
Publisher: Springer-Verlag
Publication Date: 1994
Binding: Paperback
Condition: New