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.

Imprint Privacy policy « This page (revision-7) was last changed on Tuesday, 4. October 2022, 16:38 by Wang Dongming
  • operated by