TY  - BOOK
AU  - Gao, Xiao-Shan
AU  - Wang, Dongming
TI  - Mathematics mechanization and applications
SN  - 127347607
SN  - 99066948
U1  - 512.94 GAO 
PY  - 2000///
CY  - San Diego, CA
PB  - Elsevier / Academic Press
KW  - Automatic theorem proving
KW  - Equations - Numerical solutions - Data processing
N1  - Includes bibliographical references (p. 507-539) and index
ER  -