Search the dblp DataBase
Wu Wen-Tsün: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Wu Wen-Tsün
Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving. [Citation Graph (0, 0)][DBLP]
Automated Deduction in Geometry, 1998, pp:1-13 [Conf] - Wu Wen-Tsün
The Char-Set Method and Its Applications to Automated Reasoning. [Citation Graph (0, 0)][DBLP]
CADE, 1997, pp:1-3 [Conf] - Wu Wen-Tsün
Polynomial Equations-Solving and its Applications. [Citation Graph (0, 0)][DBLP]
ISAAC, 1994, pp:1-9 [Conf] - Wu Wen-Tsün
On a finite kernel theorem for polynomial-type optimization problems and some of its applications. [Citation Graph (0, 0)][DBLP]
ISSAC, 2005, pp:4- [Conf] - Wu Wen-Tsün
Basic Principles of Mechanical Theorem Proving in Elementary Geometries. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 1986, v:2, n:3, pp:221-252 [Journal] - Wu Wen-Tsün
Mechanical Theorem Proving of Differential Geometries and Some of its Applications in Mechanics. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 1991, v:7, n:2, pp:171-191 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002