Follow
Dongming Wang 王东明
Dongming Wang 王东明
Professor - Research Director
Verified email at lip6.fr - Homepage
Title
Cited by
Cited by
Year
Elimination Methods
D Wang
3882001
Elimination Practice: Software Tools and Applications (With CD-Rom)
D Wang
Imperial College Press, 2004
1432004
An elimination method for polynomial systems
D Wang
Journal of Symbolic Computation 16 (2), 83-114, 1993
1401993
Computing triangular systems and regular systems
D Wang
Journal of Symbolic Computation 30 (2), 221-236, 2000
1312000
Decomposing polynomial systems into simple systems
D Wang
Journal of Symbolic Computation 25 (3), 295-314, 1998
1241998
An implementation of the characteristic set method in Maple
D Wang
Automated practical reasoning: algebraic approaches, 187-201, 1995
751995
Algebraic approaches to stability analysis of biological systems
W Niu, D Wang
Mathematics in Computer Science 1, 507-539, 2008
722008
On the conditions of Kukles for the existence of a centre
X Jin, D Wang
Bulletin of the London Mathematical Society 22 (1), 1-4, 1990
711990
Stability analysis of biological systems with real solution classification
D Wang, B Xia
Proceedings of the 2005 international symposium on symbolic and algebraic …, 2005
612005
Stability analysis for discrete biological models using algebraic methods
X Li, C Mou, W Niu, D Wang
Mathematics in Computer Science 5, 247-262, 2011
582011
Mechanical manipulation for a class of differential systems
D Wang
Journal of symbolic computation 12 (2), 233-254, 1991
551991
计算机代数
王东明, 夏壁灿
清华大学出版社有限公司, 2004
52*2004
Geother 1.1: Handling and proving geometric theorems automatically
D Wang
International Workshop on Automated Deduction in Geometry, 194-215, 2002
522002
Elimination procedures for mechanical theorem proving in geometry
D Wang
Annals of Mathematics and Artificial Intelligence 13, 1-24, 1995
501995
Irreducible decomposition of algebraic varieties via characteristics sets and Gröbner bases
D Wang
Computer Aided Geometric Design 9 (6), 471-484, 1992
501992
GEOTHER: A geometry theorem prover
D Wang
International Conference on Automated Deduction, 166-170, 1996
491996
Geometry machines: From ai to smc
D Wang
International Conference on Artificial Intelligence and Symbolic …, 1996
461996
Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case
X Li, C Mou, D Wang
Computers & Mathematics with Applications 60 (11), 2983-2997, 2010
422010
Cohernet, regular and simple systems in zero decompositions of partial
Z Li, D Wang
421999
Gröbner bases applied to geometric theorem proving and discovering
D Wang
London Mathematical Society Lecture Note Series, 281-304, 1998
421998
The system can't perform the operation now. Try again later.
Articles 1–20