TY  - BOOK
AU  - Gao, Xiao-Shan
AU  - Wang, Dongming
TI  - Mathematics mechanization and applications
SN  - 0127347607
AV  - QA 71 Mat 
PY  - 2000///
CY  - San Diego
PB  - Academic Press
KW  - AUTOMATIC THEOREM PROVING
KW  - EQUATIONS--NUMERICAL SOLUTIONS--DATA PROCESSING
ER  -