Selected Works of Wen-Tsun Wu
Latest Publications

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC

9789812791078, 9789812791085

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Central Configurations in Planet Motions and Vortex Motions

Selected Works of Wen-Tsun Wu ◽

10.1142/9789812791085_0027 ◽

2008 ◽

pp. 411-424

Author(s):

WEN-TSUN WU

Keyword(s):

Central Configurations

Download Full-text

On a Finiteness Theorem about Optimization Problems

Selected Works of Wen-Tsun Wu ◽

10.1142/9789812791085_0025 ◽

2008 ◽

pp. 387-400

Author(s):

Wen-tsun Wu

Keyword(s):

Optimization Problems ◽

Finiteness Theorem

Download Full-text

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

Selected Works of Wen-Tsun Wu ◽

10.1142/9789812791085_0024 ◽

2008 ◽

pp. 367-386 ◽

Cited By ~ 1

Author(s):

Wen-tsun Wu

Keyword(s):

Theorem Proving ◽

Mechanical Theorem Proving ◽

Mechanical Theorem

Download Full-text

A MECHANIZATION METHOD OF GEOMETRY AND ITS APPLICATIONS: III. MECHANICAL PROVING OF POLYNOMIAL INEQUALITIES AND EQUATION -SOLVING

Selected Works of Wen-Tsun Wu ◽

10.1142/9789812791085_0021 ◽

2008 ◽

pp. 307-323

Author(s):

Wenjun (Wu Wen-tsün) Wu

Keyword(s):

Equation Solving ◽

Polynomial Inequalities

Download Full-text

On Chern Numbers of Algebraic Varieties with Arbitrary Singularities

Selected Works of Wen-Tsun Wu ◽

10.1142/9789812791085_0018 ◽

2008 ◽

pp. 285-294

Author(s):

Wentsün Wu

Keyword(s):

Algebraic Varieties ◽

Chern Numbers

Download Full-text

ON THE PLANAR IMBEDDING OF LINEAR GRAPHS (CONTINUED)

Selected Works of Wen-Tsun Wu ◽

10.1142/9789812791085_0015 ◽

2008 ◽

pp. 245-257

Author(s):

WEN-JUN (WU WEN-TSÜN) WU

Keyword(s):

Linear Graphs

Download Full-text

A CONSTRUCTIVE THEORY OF DIFFERENTIAL ALGEBRAIC GEOMETRY BASED ON WORKS OF J.F.RITT WITH PARTICULAR APPLICATIONS TO MECHANICAL THEOREM-PROVING OF DIFFERENTIAL GEOMETRIES

Selected Works of Wen-Tsun Wu ◽

10.1142/9789812791085_0011 ◽

2008 ◽

pp. 177-193

Author(s):

Wen-tsun Wu

Keyword(s):

Algebraic Geometry ◽

Theorem Proving ◽

Mechanical Theorem Proving ◽

Constructive Theory ◽

Mechanical Theorem

Download Full-text

ON THE DECISION PROBLEM AND THE MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY

Selected Works of Wen-Tsun Wu ◽

10.1142/9789812791085_0008 ◽

2008 ◽

pp. 117-138 ◽

Cited By ~ 2

Author(s):

Wen-Tsün Wu

Keyword(s):

Theorem Proving ◽

Decision Problem ◽

Elementary Geometry

Download Full-text

THEORY OF I-FUNCTOR IN ALGEBRAIC TOPOLOGY — EFFECTIVE CALCULATION AND AXIOMATIZATION OF I-FUNCTOR ON COMPLEXES

Selected Works of Wen-Tsun Wu ◽

10.1142/9789812791085_0007 ◽

2008 ◽

pp. 99-116

Author(s):

WEN-TSÜN WU

Keyword(s):

Algebraic Topology

Download Full-text

ON THE REALIZATION OF COMPLEXES IN EUCLIDEAN SPACES. III

Selected Works of Wen-Tsun Wu ◽

10.1142/9789812791085_0005 ◽

2008 ◽

pp. 71-83

Author(s):

WEN-JUN (WU WEN-CHÜN) WU

Keyword(s):

Euclidean Spaces

Download Full-text