Follow
Dongming Wang 王东明
Dongming Wang 王东明
Professor - Research Director
Verified email at lip6.fr - Homepage
Title
Cited by
Cited by
Year
Elimination Methods
D Wang
3842001
Elimination Practice: Software Tools and Applications (With CD-Rom)
D Wang
Imperial College Press, 2004
1412004
An elimination method for polynomial systems
D Wang
Journal of Symbolic Computation 16 (2), 83-114, 1993
1321993
Computing triangular systems and regular systems
D Wang
Journal of Symbolic Computation 30 (2), 221-236, 2000
1272000
Decomposing polynomial systems into simple systems
D Wang
Journal of Symbolic Computation 25 (3), 295-314, 1998
1181998
An implementation of the characteristic set method in Maple
D Wang
Automated practical reasoning: algebraic approaches, 187-201, 1995
741995
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
701990
Algebraic approaches to stability analysis of biological systems
W Niu, D Wang
Mathematics in Computer Science 1, 507-539, 2008
682008
Stability analysis of biological systems with real solution classification
D Wang, B Xia
Proceedings of the 2005 international symposium on Symbolic and algebraic …, 2005
582005
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
532011
Mechanical manipulation for a class of differential systems
D Wang
Journal of symbolic computation 12 (2), 233-254, 1991
521991
Geother 1.1: Handling and proving geometric theorems automatically
D Wang
International Workshop on Automated Deduction in Geometry, 194-215, 2002
512002
计算机代数
王东明, 夏壁灿
清华大学出版社有限公司, 2004
50*2004
Elimination procedures for mechanical theorem proving in geometry
D Wang
Annals of Mathematics and Artificial Intelligence 13, 1-24, 1995
491995
Irreducible decomposition of algebraic varieties via characteristics sets and Gröbner bases
D Wang
Computer Aided Geometric Design 9 (6), 471-484, 1992
491992
GEOTHER: A geometry theorem prover
D Wang
International Conference on Automated Deduction, 166-170, 1996
471996
Gröbner bases applied to geometric theorem proving and discovering
D Wang
London Mathematical Society Lecture Note Series, 281-304, 1998
451998
Cohernet, regular and simple systems in zero decompositions of partial
Z Li, D Wang
431999
Geometry machines: From ai to smc
D Wang
International Conference on Artificial Intelligence and Symbolic …, 1996
431996
Reasoning about geometric problems using an elimination method
D Wang
Automated practical reasoning: Algebraic approaches, 147-185, 1995
421995
The system can't perform the operation now. Try again later.
Articles 1–20