Home Advanced Search

Advanced Search - Page 1

Mathematics Mechanization
  • DJVU
  • english
  • Year: 2000
  • Author: Wu Wen-tsun
Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure
  • DJVU
  • English
  • Year: 1987
  • Author: Wu Wen-Tsun
Selected Works Of Wen-Tsun Wu
  • PDF
  • English
  • Year: 2008
  • Author: Wen-Tsun Wu
Selected works of Wen-tsun Wu
  • DJVU
  • English
  • Year: 2008
  • Author: Wen-Tsun Wu
Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving
  • DJVU
  • English
  • Year: 2000
  • Author: Wu Wen-tsun
Mathematics Mechanization: Mechanical Geometry Theorem proving
  • DJVU
  • English
  • Year: 2001
  • Author: Wu Wen-tsun
SELECTED WORKS OF WEN-TSUN WU
  • DJVU
  • English
  • Year: 2008
  • Author: Wen-Tsun Wu
Proceedings 1992 Int. Workshop on Mathematics Mechanization
  • DJVU
  • English
  • Year: 1992
  • Author: Wu Wen-Tsun, Cheng Min-De. (eds.)
Proceedings 1992 Int. Workshop on Mathematics Mechanization
  • PDF
  • English
  • Year: 1992
  • Author: Wu Wen-Tsun, Cheng Min-De. (eds.)
Proceedings 1992 Int. Workshop on Mathematics Mechanization
  • DJVU
  • English
  • Year: 1992
  • Author: Wu Wen-Tsun, Cheng Min-De. (eds.)
search