Wen-tsün Wu
Popular items by Wen-tsün Wu
View all offers-
Mechanical Theorem Proving in Geometries: Basic Principles (Texts & Monographs in Symbolic Computation)
Wu, Wen-tsün
Item prices starting from
View 21 offersUS$ 33.15
-
Rational Homotopy Type: A Constructive Study via the Theory of the I*-measure (Lecture Notes in Mathematics, 1264)
Wu, Wen-tsün
Item prices starting from
View 12 offersUS$ 32.64
-
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving (Mathematics and Its Applications, 489)
Wu Wen-tsun
Item prices starting from
View 17 offersUS$ 53.22
-
