Mathematics mechanization and applications 
edited by Xiao-Shan Gao and Dongming Wang 
 - San Diego, CA  Elsevier / Academic Press  c2000 
 - xix, 551 p. : ill. ; 26 cm., : acid-free paper 
<br/><br/> Includes bibliographical references (p. 507-539) and index 
<br/><br/><label>ISBN: </label>127347607 
<br/><br/><label>ISSN: </label>99066948 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving<br/>Equations - Numerical solutions - Data processing
<br/><br/><label>Dewey Class. No.: </label>512.94 GAO