关注
Dongming Wang 王东明
Dongming Wang 王东明
Professor - Research Director
在 lip6.fr 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Elimination Methods
D Wang
3842001
Elimination Practice: Software Tools and Applications (With CD-Rom)
D Wang
Imperial College Press, 2004
1422004
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
1292000
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
692008
Stability analysis of biological systems with real solution classification
D Wang, B Xia
Proceedings of the 2005 international symposium on Symbolic and algebraic …, 2005
602005
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
542011
Mechanical manipulation for a class of differential systems
D Wang
Journal of symbolic computation 12 (2), 233-254, 1991
531991
计算机代数
王东明, 夏壁灿
清华大学出版社有限公司, 2004
51*2004
Geother 1.1: Handling and proving geometric theorems automatically
D Wang
International Workshop on Automated Deduction in Geometry, 194-215, 2002
512002
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
系统目前无法执行此操作,请稍后再试。
文章 1–20