Chou, Shang-Ching <br/><br/>
Machine proofs in geometry  ; automated production of readable proofs for geometry theorems / 

 - Singapore:  World Scientific,  1994 
 - xiii, 461p. Index. Bibl. 
 - Series on Applied Mathematics ; 6 .
<br/><br/><label>Dewey Class. No.: </label>516  / C552.MP