Gao, Xiao-Shan <br/><br/>
Mathematics mechanization and applications 
edited Xiao-Shan Gao 
 - San Diego:  Academic Press  2000 
 - xix, 551p. : ill. 
<br/><br/><label>ISBN: </label>0127347607 
<br/><br/><label>Subjects--Topical Terms: </label><br/>AUTOMATIC THEOREM PROVING<br/>EQUATIONS--NUMERICAL SOLUTIONS--DATA PROCESSING
<br/><br/><label>LC Class. No.: </label>QA 71 Mat