Pech, Pavel. <br/><br/>
Selected topics in geometry with classical vs. computer proving/ 
Pavel Pech. 
 - Hackensack, NJ:  World Scientific,  c2007. 
 - xi, 239 p.:  ill.;  24 cm. 
<br/><br/>Includes bibliographical references (p. 227-233) and index. 
<br/><br/><label>ISBN: </label>9789812709424 (hbk. : alk. paper) 9812709428 (hbk. : alk. paper) 
<br/><br/><label>LCCN: </label>2007028204 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Geometry<br/>Geometry--Computer programs.<br/>Problem solving.
<br/><br/><label>Dewey Class. No.: </label>516  / P365s