TY  - BOOK
AU  - Wen-Tsun Wu
TI  - Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving
SN  - 0-7923-5835-X
U1  - 510.285 
PY  - 2000///
CY  - Dordrecht
PB  - Kluwer Academic
KW  - Mathematics-computer applications
ER  -