Elimination Methods D Wang | 384 | 2001 |
Elimination Practice: Software Tools and Applications (With CD-Rom) D Wang Imperial College Press, 2004 | 142 | 2004 |
An elimination method for polynomial systems D Wang Journal of Symbolic Computation 16 (2), 83-114, 1993 | 132 | 1993 |
Computing triangular systems and regular systems D Wang Journal of Symbolic Computation 30 (2), 221-236, 2000 | 129 | 2000 |
Decomposing polynomial systems into simple systems D Wang Journal of Symbolic Computation 25 (3), 295-314, 1998 | 118 | 1998 |
An implementation of the characteristic set method in Maple D Wang Automated practical reasoning: algebraic approaches, 187-201, 1995 | 74 | 1995 |
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 | 70 | 1990 |
Algebraic approaches to stability analysis of biological systems W Niu, D Wang Mathematics in Computer Science 1, 507-539, 2008 | 69 | 2008 |
Stability analysis of biological systems with real solution classification D Wang, B Xia Proceedings of the 2005 international symposium on Symbolic and algebraic …, 2005 | 60 | 2005 |
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 | 54 | 2011 |
Mechanical manipulation for a class of differential systems D Wang Journal of symbolic computation 12 (2), 233-254, 1991 | 53 | 1991 |
计算机代数 王东明, 夏壁灿 清华大学出版社有限公司, 2004 | 51* | 2004 |
Geother 1.1: Handling and proving geometric theorems automatically D Wang International Workshop on Automated Deduction in Geometry, 194-215, 2002 | 51 | 2002 |
Elimination procedures for mechanical theorem proving in geometry D Wang Annals of Mathematics and Artificial Intelligence 13, 1-24, 1995 | 49 | 1995 |
Irreducible decomposition of algebraic varieties via characteristics sets and Gröbner bases D Wang Computer Aided Geometric Design 9 (6), 471-484, 1992 | 49 | 1992 |
GEOTHER: A geometry theorem prover D Wang International Conference on Automated Deduction, 166-170, 1996 | 47 | 1996 |
Gröbner bases applied to geometric theorem proving and discovering D Wang London Mathematical Society Lecture Note Series, 281-304, 1998 | 45 | 1998 |
Cohernet, regular and simple systems in zero decompositions of partial Z Li, D Wang | 43 | 1999 |
Geometry machines: From ai to smc D Wang International Conference on Artificial Intelligence and Symbolic …, 1996 | 43 | 1996 |
Reasoning about geometric problems using an elimination method D Wang Automated practical reasoning: Algebraic approaches, 147-185, 1995 | 42 | 1995 |