Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation) - Softcover

Wu, Wen-ts Un; Jin, Xio Fan (translator); Wang, Dongming (translator)

 
9780387825069: Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation)
Softcover
ISBN 10: 0387825061 ISBN 13: 9780387825069
Publisher: Springer-Verlag New York, Incorporated, 1994

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.

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

Language Notes

Text: English (translation)
Original Language: Chinese

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

Publisher
Springer-Verlag New York, Incorporated
Publication date
1994
Language
English
ISBN 10 
0387825061
ISBN 13 
9780387825069
Binding
Paperback
Number of pages
288

Other Popular Editions of the Same Title

9783211825068: Mechanical Theorem Proving in Geometries: Basic Principles (Texts & Monographs in Symbolic Computation)

Featured Edition

ISBN 10:  3211825061 ISBN 13:  9783211825068
Publisher: Springer, 1994
Softcover