2005 |
6 | EE | Wu Wen-Tsün:
On a finite kernel theorem for polynomial-type optimization problems and some of its applications.
ISSAC 2005: 4 |
1998 |
5 | EE | Wu Wen-Tsün:
Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving.
Automated Deduction in Geometry 1998: 1-13 |
1997 |
4 | | Wu Wen-Tsün:
The Char-Set Method and Its Applications to Automated Reasoning.
CADE 1997: 1-3 |
1994 |
3 | | Wu Wen-Tsün:
Polynomial Equations-Solving and its Applications.
ISAAC 1994: 1-9 |
1991 |
2 | | Wu Wen-Tsün:
Mechanical Theorem Proving of Differential Geometries and Some of its Applications in Mechanics.
J. Autom. Reasoning 7(2): 171-191 (1991) |
1986 |
1 | | Wu Wen-Tsün:
Basic Principles of Mechanical Theorem Proving in Elementary Geometries.
J. Autom. Reasoning 2(3): 221-252 (1986) |