 | 2005 |
|---|
| 6 |       | Wu Wen-Tsün:
On a finite kernel theorem for polynomial-type optimization problems and some of its applications.
ISSAC 2005: 4 |
| 1998 |
|---|
| 5 | | 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) |
