TY  - BOOK
AU  - Gao, Xiao-Shan.,
AU  - Wang, Dongming.,
TI  - Mathematics mechanization and applications
SN  - 9780127347608 (hardback)
PY  - 2000///
CY  - San Diego
PB  - Academic Press
KW  - Automatic theorem proving
KW  - Equations
KW  - Numerical solutions
KW  - Data processing
KW  - Programming (Mathematics)
N1  - Includes index; Includes bibliographical references
ER  -