1.
 |  | Title: Mechanical Theorem Proving in Geometries: Basic Principles
by Wen-Tsun Wu
ISBN: 3211825061
Publisher: Telos Pr
Pub. Date: January, 1994
List Price: $86.95
Amazon.com Price: $86.95 |
2.
|  | Title: Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure (Lecture Notes in Mathematics, Vol 1264)
by Wu Wen-Tsun, Wen-Tsun Wu
ISBN: 0387136118
Publisher: Springer Verlag
Pub. Date: October, 1987
List Price: $38.95
Amazon.com Price: $38.95 |
3.
|  | Title: Computer Mathematics: Proceedings of the Special Program at Nankai Institute of Mathematics Tianjin, China January-June 1991 (Nankai Series in Pure,)
by Wen-Tsun Wu, Hu Guo-Ding, Wu Wen-Tsun, Guoding Hu, China) Shu Hsueh Yen Chiu So Nan Kai Ta Hsueh (Tianjin
ISBN: 9810215282
Publisher: World Scientific Pub Co
Pub. Date: September, 1993
List Price: $58.00
Amazon.com Price: $58.00 |
4.
|  | Title: Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving (Mathematics and Its Applications (Kluwer), 489)
by Wen-Tsun Wu
ISBN: 079235835X
Publisher: Kluwer Academic Publishers
Pub. Date: January, 2001
List Price: $209.00
Amazon.com Price: $209.00 |
5.
|  | Title: Chinese Mathematics Into the 21st Century
by Wen-Tsun Wu, Min-de Cheng
ISBN: 0387543783
Publisher: Springer-Verlag
Pub. Date: February, 1992
List Price: $125.00
Amazon.com Price: $125.00 |
