Mathematics mechanization and applications/ 
edited by Xiao-Shan Gao and Dongming Wang. 
 - San Diego :  Academic Press ,  2000. 
 - xix, 551 pages :  illustrations ;  27 cm. 
<br/><br/> Includes index. 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>9780127347608 (hardback) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving.<br/>Equations--Numerical solutions--Data processing.<br/>Programming (Mathematics).