WuWen, Tsun <br/><br/>
Mechanical Theorem Proving in Geometries: basic principles 
Wen - Tsun Wu 
 - Berlin  Springer Verlag  1994 
 - xiv,288p. 
<br/><br/><label>ISBN: </label>3211825061 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Geometry -- Data Processing<br/>Automatic theorem proving
<br/><br/><label>Dewey Class. No.: </label>516.0015 WUW