Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Wenjun Wu 0003

Wen-tsun Wu – Wu Wen-Tsün – 吴文俊

> Home > Persons

Person information

unicode name: 吴文俊
affiliation: Academy of Mathematics and System Sciences, CAS, Beijing
award (1997): Herbrand Award

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

1994
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/0074585
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0074585
Wu Wen-Tsün:
Mechanical Theorem Proving in Geometries - Basic Principles. Texts & Monographs in Symbolic Computation, Springer 1994, ISBN 978-3-211-82506-8, pp. I-XIV, 1-288

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2007
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/WuG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/WuG07
Wenjun Wu, Xiao-Shan Gao:
Mathematics mechanization and applications after thirty years. Frontiers Comput. Sci. China 1(1): 1-8 (2007)
2006
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jcst/WuG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcst/WuG06
Wen-tsun Wu, Xiao-Shan Gao:
Automated Reasoning and Equation Solving with the Characteristic Set Method. J. Comput. Sci. Technol. 21(5): 756-764 (2006)
1991
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Wen-Tsun91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Wen-Tsun91
Wu Wen-Tsün:
Mechanical Theorem Proving of Differential Geometries and Some of its Applications in Mechanics. J. Autom. Reason. 7(2): 171-191 (1991)
1986
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Wen-Tsun86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Wen-Tsun86
Wu Wen-Tsün:
Basic Principles of Mechanical Theorem Proving in Elementary Geometries. J. Autom. Reason. 2(3): 221-252 (1986)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2005
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/Wen-Tsun05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/Wen-Tsun05
Wu Wen-Tsün:
On a finite kernel theorem for polynomial-type optimization problems and some of its applications. ISSAC 2005: 4
2004
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/giae/Wu04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/giae/Wu04
Wen-tsun Wu:
On Wintner's Conjecture About Central Configurations. IWMM/GIAE 2004: 1-4
2003
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/Wu03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/Wu03
Wen-tsun Wu:
On a Method of Global Optimization. APLAS 2003: 1
1998
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/adg/Wen-Tsun98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/Wen-Tsun98
Wu Wen-Tsün:
Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving. Automated Deduction in Geometry 1998: 1-13
1997
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Wen-Tsun97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Wen-Tsun97
Wu Wen-Tsün:
The Char-Set Method and Its Applications to Automated Reasoning. CADE 1997: 1-3
1994
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/isaac/Wen-Tsun94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isaac/Wen-Tsun94
Wu Wen-Tsün:
Polynomial Equations-Solving and its Applications. ISAAC 1994: 1-9
1987
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/Wen-tsun87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/Wen-tsun87
Wen-tsun Wu:
A zero structure theorem for polynomial-equations-solving and its applications. EUROCAL 1987: 44

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.