Gao, Xiao-Shan (ed.) <br/><br/>
Mathematics mechanization and applications / 
edited by Xiao-Shan Gao and Dongming Wang. 
 - Academic Press :  San Diego,  2000. 
 - xix, 551 pages :  illustrations. 
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>0127347607 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics--Mechanization and applications.<br/>Mathematics--Mechanization and applications.