| Shelfclass_id | 4.B.3 |
| Sortkey | WU, WEN-TSUN |
| Authors | Wen-tsun Wu |
| Title | Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving |
| Publisher | Kluwer Academic Publishers |
| Year | c2000 |
| Languages | eng |
| Isbn | 079235835X |
| Series | Mathematics and its applications |
| Volume | 489 |
| Description | (hardcover: alk. paper) xii, 420 p. ill. 25 cm. |
| Record date | 20061027 |
| Location | Boston |
| Keywords | Automatic theorem proving, Equations, Artificial intelligence |
| Notes | "This is an updated revised translation of the original Chinese work of the same title, Science Press, c2000"--Verso of t.p. |