Wu, Wen ts Un books & textbook
Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation)
Wu, Wen-ts Un; Jin, Xio Fan (translator); Wang, Dongming (translator)
Springer-Verlag New York, Incorporated /1994T Paperback / 288 Pages
isbn-10: 0387825061 / isbn-13: 9780387825069
Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure (Lecture Notes in Mathematics)
Springer Verlag /1987-08-01 Paperback / 219 Pages
isbn-10: 0387136118 / isbn-13: 9780387136110
