W. T. · W.W. · Wen-tsun Wu · Wu Wen
| title | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|
| Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving | 978-0-7923-5835-0 (0-7923-5835-X) | 2001 | |
| Rational Homotopy Type: A Constructive Study via the Theory of the I*-measure | 978-3-540-13611-8 (3-540-13611-8) | 2008 | |
| Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure | 978-0-387-13611-0 (0-387-13611-8) | 1987 |