Wen-tsun Wu. <br/><br/>
Mechanical theorem proving in geometries :  basic principles / 
Wen-tsun Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang 
 - Wien :  Springer-Verlag,  c1994 
 - xiv, 288 p. :  ill. ;  25 cm. 
 - Texts and monographs in symbolic computation .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>3211825061 :  DM 98.00 0387825061 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Geometry--Data processing<br/>Automatic theorem proving
<br/><br/><label>Dewey Class. No.: </label>516.0015113