Wenjun Wu

According to our database, Wenjun Wu authored at least 12 papers between 1986 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2007

Mathematics mechanization and applications after thirty years.

Wenjun Wu, Xiao-Shan Gao

Frontiers Comput. Sci. China, 2007

2006

Automated Reasoning and Equation Solving with the Characteristic Set Method.

Wen-tsun Wu, Xiao-Shan Gao

J. Comput. Sci. Technol., 2006

2005

On a finite kernel theorem for polynomial-type optimization problems and some of its applications.

Wu Wen-Tsün

Proceedings of the Symbolic and Algebraic Computation, 2005

2004

On Wintner's Conjecture About Central Configurations.

Wen-tsun Wu

Proceedings of the Computer Algebra and Geometric Algebra with Applications, 2004

2003

On a Method of Global Optimization.

Wen-tsun Wu

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

1998

Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving.

Wu Wen-Tsün

Proceedings of the Automated Deduction in Geometry, 1998

1997

The Char-Set Method and Its Applications to Automated Reasoning.

Wu Wen-Tsün

Proceedings of the Automated Deduction, 1997

1994

Polynomial Equations-Solving and its Applications.

Wu Wen-Tsün

Proceedings of the Algorithms and Computation, 5th International Symposium, 1994

Mechanical Theorem Proving in Geometries - Basic Principles.

Wu Wen-Tsün

Texts & Monographs in Symbolic Computation, Springer, ISBN: 978-3-7091-6639-0, 1994

1991

Mechanical Theorem Proving of Differential Geometries and Some of its Applications in Mechanics.

Wu Wen-Tsün

J. Autom. Reason., 1991

1987

A zero structure theorem for polynomial-equations-solving and its applications.

Wen-tsun Wu

Proceedings of the EUROCAL '87, 1987

1986

Basic Principles of Mechanical Theorem Proving in Elementary Geometries.

Wu Wen-Tsün

J. Autom. Reason., 1986