Wen-tsün Wu

发表

Mechanization theorems of (ordinary) ordered geometries

Wen-tsün Wu, 1994 .

Author’s note to the English-language edition

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

ON THE CHEMICAL EQUILIBRIUM PROBLEM AND EQUATIONS-SOLVING

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

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

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

Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving

Wen-tsün Wu, 2001 .

Selected Works of Wen-Tsun Wu

Wen-tsün Wu, 2008 .

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

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

SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY

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