!!Dongming Wang - Selected Publications
\\
__Research Monographs in Algorithmic Elimination Theory__\\
\\
[[1] Dongming Wang: Elimination Methods. Springer-Verlag, Wien New York, 2001.\\

[[2] Dongming Wang: Elimination Practice: Software Tools and Applications. Imperial College Press, London, 2004.\\
\\
__Representative Research Papers__\\
\\
[[3] Dongming Wang: An Elimination Method for Polynomial Systems. Journal of Symbolic Computation 16(2) (1993) 83-114.\\

[[4] Dongming Wang: Decomposing Polynomial Systems into Simple Systems. Journal of Symbolic Computation 25(3) (1998) 295-314.\\

[[5] Dongming Wang: Computing Triangular Systems and Regular Systems. Journal of Symbolic Computation 30(2) (2000) 221-236.\\

[[6] Dongming Wang: On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases. Mathematics in Computer Science 10(4) (2016) 479-492.\\

[[7] Dongming Wang: Algebraic Factoring and Geometry Theorem Proving. In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12) (Nancy, June 28 - July 1, 1994), LNAI 814, Springer-Verlag, Berlin Heidelberg, pp. 386-400.\\

[[8] Xiaoyu Chen, Dan Song, and Dongming Wang: Automated Generation of Geometric Theorems from Images of Diagrams. Annals of Mathematics and Artificial Intelligence 74 (2015) 333-358.\\

[[9] Dongming Wang and Bican Xia: Stability Analysis of Biological Systems with Real Solution Classification. In: Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation (ISSAC 2005) (Beijing, China, July 24-27, 2005), ACM Press, New York, pp. 354-361.\\

[[10] Dongming Wang and Jing Yang: The Second Discriminant of a Univariate Polynomial. Science China Mathematics 64(6) (2021) 1157-1180.