Wen-tsün Wu

发表

Mechanical Theorem Proving in Geometries: Basic Principles

Wen-tsün Wu, 1994 .

On the Generic Zero and Chow Basis of an Irreducible Ascending Set

Wen-tsün Wu, Wen-Tsun Wu, 2008 .

A Theoretical Revisit to Linear Convergence for Saddle Point Problems

LiuXinwang, YinJianping, ZhuEn, 2020, ACM Trans. Intell. Syst. Technol..

On the first Liapunov coefficient formula of 3D Lotka-Volterra equations with applications to multiplicity of limit cycles

Jifa Jiang, Fengli Liang, Wenxi Wu, 2021 .

ESSENTIAL EQUILIBRIUM POINTS OF n-PERSON NON-COOPERATIVE GAMES

Wen-tsün Wu, Jia-He Jiang, 1962 .

A constructive theory of differential algebraic geometry based on works of J.F. Ritt with particular applications to mechanical theorem-proving of differential geometries

Wen-tsün Wu, Wen-tsun Wu, 1987 .

Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure

Wen-tsün Wu, 1987 .

SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY

Wenjun Wu, Wen-tsün Wu, Wen-tsün Wu, 1983 .

A theory of imbedding immersion , and isotopy of polytopes in a euclidean space

Wen-tsün Wu, Wen-tsün Wu, 1965 .

On generalized Chern classes and Chern numbers of irreducible complex algebraic varieties with arbitrary singularities

Wen-tsün Wu, 2007 .

ON THE CHEMICAL EQUILIBRIUM PROBLEM AND EQUATIONS-SOLVING

Wen-tsün Wu, Wen-tsün Wu, 1990 .

Author’s note to the English-language edition

Wen-tsün Wu, Wen-tsün Wu, 1994 .

TOWARD MECHANIZATION OF GEOMETRY — SOME COMMENTS ON HILBERT'S GRUNDLAGEN DER GEOMETRIE”

Wen-tsün Wu, Wen-tsün Wu, 1982 .

ON SQUARES IN GRASSMANNIAN MANIFOLDS

Wen-tsün Wu, 1953 .