Mechanical theorem proving in geometries : basic principles /

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&...

Full description

Bibliographic Details

Main Author:	Wu, Wen-tsün
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Vienna : Springer Vienna, 1994.
Series:	Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes-Kepler-University, Linz, Austria.
Subjects:	Geometry > Data processing. Automatic theorem proving. Mathematics. Computer science. Algebra > Data processing. Geometry, Algebraic. Algorithms. Combinatorial analysis. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book