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.