Wu Wen-tsun

发表

Geometry Theorem Proving in Euclidean, Descartesian, Hilbertian and Computerwise Fashion

Wu Wen-tsun, 1996 .

Basic principles of mechanical theorem proving in elementary geometries

Wu Wen-tsun, 1986 .

Tropical Mirror

Wu Wen-tsun, 2022 .

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

Wu Wen-tsun, 2005, ISSAC 2005.

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

Wu Wen-tsun, 1987 .

Euler Equations Related to the Generalized Neveu{Schwarz Algebra

Wu Wen-tsun, 2013 .

On Chern numbers of algebraic varieties with arbitrary singularities

Wu Wen-tsun, 1987 .

A Theorem on Immersion

Wu Wen-tsun, 1964 .

On the Product of Sphere Bundles and the Duality Theorem Modulo Two

Wu Wen-tsun, 1948 .

Mechanical theorem proving of differential geometries and some of its applications in mechanics

Wu Wen-tsun, Wu Wen-Tsun, 1991 .

ON A FINITENESS THEOREM ABOUT PROBLEMS INVOLVING INEQUALITIES

Wu Wen-tsun, Wu Wen, Wu Wen-tsun, 1994 .

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

Wu Wen-tsun, 1987 .

On a Finiteness Theorem about Optimization Problems

Wu Wen-tsun, Wu Wen-tsun, 2008 .

Polynomial Equations-Solving and its Applications

Wu Wen-tsun, Wu Wen-tsun, 1994 .