Computer Algebraic Methods for Investigating Plane Differential Systems of Center and Focus Type. - Dongming Wang 001 (Computers and Mathematics, 1989)

On Wu's Method for Proving Constructive Geometric Theorems. - Dongming Wang 001 (IJCAI, 1989)

A program for computing the Liapunov functions and Liapunov constants in scratchpad II. - Dongming Wang 001 (SIGSAM Bull., 1989)

On the Parallelization of Characteristic-Set-Based Algorithms. - Dongming Wang 001 (ACPC, 1991)

Computer Algebra and Neurodynamics. - Dongming Wang 001; Bernd Schürmann (Physik und Informatik, 1991)

A toolkit for manipulating indefinite summations with application to neural networks. - Dongming Wang 001 (SIGSAM Bull., 1991)

Mechanical Manipulation for a Class of Differential Systems. - Dongming Wang 001 (J. Symb. Comput., 1991)

A Strategy for Speeding-up the Computation of Characteristic Sets. - Dongming Wang 001 (MFCS, 1992)

Irreducible decomposition of algebraic varieties via characteristics sets and Gröbner bases. - Dongming Wang 001 (Comput. Aided Geom. Des., 1992)

Computer Aided Analysis and Derivation for Artificial Neural Systems. - Dongming Wang 001; Bernd Schürmann (IEEE Trans. Software Eng., 1992)

Automatic Generation of C++ Code for Neural Network Simulation. - Stephan Dreiseitl; Dongming Wang 001 (IWANN, 1993)

An Elimination Method for Polynomial Systems. - Dongming Wang 001 (J. Symb. Comput., 1993)

Algebraic Factoring and Geometry Proving. - Dongming Wang 001 (CADE, 1994)

Differentiation and Integration of Indefinite Summations with Respect to Indexed Variables - Some Rules and Applications. - Dongming Wang 001 (J. Symb. Comput., 1994)

Elimination Procedures for Mechanical Theorem Proving in geometry. - Dongming Wang 001 (Ann. Math. Artif. Intell., 1995)

A Method for Proving Theorems in Differebtial Geometry and Mechanics - Dongming Wang 001 (J. Univers. Comput. Sci., 1995)

Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision. - Dongming Wang 001 (Automated Deduction in Geometry, 1996)

Geometry Machines: From AI to SMC. - Dongming Wang 001 (AISMC, 1996)

GEOTHER: A Geometry Theorem Prover. - Dongming Wang 001 (CADE, 1996)

Clifford Term Rewriting for Geometric Reasoning in 3D. - Thierry Boy de la Tour; Stéphane Fèvre; Dongming Wang 001 (Automated Deduction in Geometry, 1998)

Decomposing Algebraic Varieties. - Dongming Wang 001 (Automated Deduction in Geometry, 1998)

Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving. - Stéphane Fèvre; Dongming Wang 001 (AISC, 1998)

Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules. - Stéphane Fèvre; Dongming Wang 001 (CADE, 1998)

Unmixed and prime decomposition of radicals of polynomial ideals. - Dongming Wang 001 (SIGSAM Bull., 1998)

Decomposing Polynomial Systems into Simple Systems. - Dongming Wang 001 (J. Symb. Comput., 1998)

Méthodes d'élimination et applications. (Elimination methods). - Dongming Wang 001 (1999)

Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving. - Stéphane Fèvre; Dongming Wang 001 (Fundam. Informaticae, 1999)

Polynomial Systems from Certain Differential Equations. - Dongming Wang 001 (J. Symb. Comput., 1999)

Reasoning about Surfaces Using Differential Zero and Ideal Decomposition. - Philippe Aubry; Dongming Wang 001 (Automated Deduction in Geometry, 2000)

Computing Triangular Systems and Regular Systems. - Dongming Wang 001 (J. Symb. Comput., 2000)

Elimination Methods. - Dongming Wang 001 (Springer, 2001)

GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. - Dongming Wang 001 (Automated Deduction in Geometry, 2002)

Automated Generation of Diagrams with Maple and Java. - Dongming Wang 001 (Algebra, Geometry, and Software Systems, 2003)

Elimination Practice - Software Tools and Applications. - Dongming Wang 001 (Imperial College Press, 2004)

Towards a Geometric-Object-Oriented Language. - Tielin Liang; Dongming Wang 001 (Automated Deduction in Geometry, 2004)

A simple method for implicitizing rational curves and surfaces. - Dongming Wang 001 (J. Symb. Comput., 2004)

The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems. - Dongming Wang 001 (Algorithmic Algebra and Logic, 2005)

Stability analysis of biological systems with real solution classification. - Dongming Wang 001; Bican Xia (ISSAC, 2005)

Towards an Electronic Geometry Textbook. - Xiaoyu Chen 001; Dongming Wang 001 (Automated Deduction in Geometry, 2006)

Solving Dynamic Geometric Constraints Involving Inequalities. - Hoon Hong; Liyun Li; Tielin Liang; Dongming Wang 001 (AISC, 2006)

Uniform Gröbner bases for ideals generated by polynomials with parametric exponents. - Wei Pan; Dongming Wang 001 (ISSAC, 2006)

On the design and implementation of a geometric-object-oriented language. - Tielin Liang; Dongming Wang 001 (Frontiers Comput. Sci. China, 2007)

Foreword. - Dongming Wang 001; Lihong Zhi (Math. Comput. Sci., 2007)

Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems. - Wei Niu 001; Dongming Wang 001 (AB, 2008)

On the Design and Implementation of a Geometric Knowledge Base. - Xiaoyu Chen 001; Ying Huang; Dongming Wang 001 (Automated Deduction in Geometry, 2008)

Triangular Decomposition for Algebraic and Geometric Computing. - Dongming Wang 001 (SYNASC, 2008)

Algebraic Approaches to Stability Analysis of Biological Systems. - Wei Niu 001; Dongming Wang 001 (Math. Comput. Sci., 2008)

Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner Bases. - Yanli Huang; Dongming Wang 001 (SYNASC, 2009)

Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case. - Xiaoliang Li; Chenqi Mou; Dongming Wang 001 (Comput. Math. Appl., 2010)

Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases. - Yanli Huang; Dongming Wang 001 (Comput. Aided Geom. Des., 2011)

Solution formulas for cubic equations without or with constraints. - Ting Zhao; Dongming Wang 001; Hoon Hong (J. Symb. Comput., 2011)

Stability Analysis for Discrete Biological Models Using Algebraic Methods. - Xiaoliang Li; Chenqi Mou; Wei Niu 001; Dongming Wang 001 (Math. Comput. Sci., 2011)

Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management. - Dongming Wang 001 (Automated Deduction in Geometry, 2012)

Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization. - Jing Yang 039; Dongming Wang 001; Hoon Hong (Automated Deduction in Geometry, 2012)

Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description). - Xiaoyu Chen 001; Wei Li 022; Jie Luo 004; Dongming Wang 001 (AISC/MKM/Calculemus, 2012)

ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves. - Jing Yang 039; Dongming Wang 001; Hoon Hong (ASCM, 2012)

Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization. - Jing Yang 039; Dongming Wang 001; Hoon Hong (CASC, 2012)

Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints. - Ting Zhao; Hoon Hong; Dongming Wang 001; Philippe Aubry (SAC, 2012)

Algebraic analysis of stability and bifurcation of a self-assembling micelle system. - Wei Niu 001; Dongming Wang 001 (Appl. Math. Comput., 2012)

GeoText: an intelligent dynamic geometry textbook. - Xiaoyu Chen 001; Dongming Wang 001; Ting Zhao (ACM Commun. Comput. Algebra, 2012)

Management of geometric knowledge in textbooks. - Xiaoyu Chen 001; Dongming Wang 001 (Data Knowl. Eng., 2012)

Algebraic stability criteria and symbolic derivation of stability conditions for feedback control systems. - Dongming Wang 001 (Int. J. Control, 2012)

Improving angular speed uniformity by reparameterization. - Jing Yang 039; Dongming Wang 001; Hoon Hong (Comput. Aided Geom. Des., 2013)

A framework for improving uniformity of parameterizations of curves. - Hoon Hong; Dongming Wang 001; Jing Yang 039 (Sci. China Inf. Sci., 2013)

Computing Equilibria of Semi-algebraic Economies Using Triangular Decomposition and Real Solution Classification. - Xiaoliang Li; Dongming Wang 001 (CoRR, 2013)

A new algorithmic scheme for computing characteristic sets. - Meng Jin; Xiaoliang Li; Dongming Wang 001 (J. Symb. Comput., 2013)

Formalization and Specification of Geometric Knowledge Objects. - Xiaoyu Chen 001; Dongming Wang 001 (Math. Comput. Sci., 2013)

Foreword to the Special Focus on Mathematics, Data and Knowledge. - Xiaoyu Chen 001; Dongming Wang 001; Xiangliang Zhang 001 (Math. Comput. Sci., 2013)

Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case. - Chenqi Mou; Dongming Wang 001; Xiaoliang Li (Theor. Comput. Sci., 2013)

Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams. - Dan Song 010; Dongming Wang 001; Xiaoyu Chen 001 (ADG, 2014)

OpenGeo: An Open Geometric Knowledge Base. - Dongming Wang 001; Xiaoyu Chen 001; Wenya An; Lei Jiang; Dan Song 010 (ICMS, 2014)

The Spaces of Data, Information, and Knowledge. - Xiaoyu Chen 001; Dongming Wang 001 (CoRR, 2014)

Searching for Geometric Theorems Using Features Retrieved from Diagrams. - Wenya An; Xiaoyu Chen 001; Dongming Wang 001 (MACIS, 2015)

Automated generation of geometric theorems from images of diagrams. - Xiaoyu Chen 001; Dan Song 010; Dongming Wang 001 (Ann. Math. Artif. Intell., 2015)

Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471). - Erika Ábrahám; Pascal Fontaine; Thomas Sturm 001; Dongming Wang 001 (Dagstuhl Reports, 2015)

Foreword. - J. Rafael Sendra; Dongming Wang 001; Jing Yang 039 (Math. Comput. Sci., 2016)

On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases. - Dongming Wang 001 (Math. Comput. Sci., 2016)

Retrieving geometric information from images: the case of hand-drawn diagrams. - Dan Song 010; Dongming Wang 001; Xiaoyu Chen 001 (Data Min. Knowl. Discov., 2017)

Special Issue on Program Verification, Automated Debugging and Symbolic Computation. - Tudor Jebelean; Wei Li 022; Dongming Wang 001 (J. Symb. Comput., 2017)

LaTEX: A Linear Algebra Textbook System. - Xiaoyu Chen 001; Haotian Shuai; Dongming Wang 001; Jing Yang 039 (AISC, 2018)

On W-characteristic sets of lexicographic Gröbner bases. - Chenqi Mou; Dongming Wang 001 (ACM Commun. Comput. Algebra, 2018)

Computing strong regular characteristic pairs with Groebner bases. - Rina Dong; Dongming Wang 001 (CoRR, 2019)

Foreword to the Special Issue. - Xiao-Shan Gao; Hongbo Li 012; Dongming Wang 001 (J. Syst. Sci. Complex., 2019)

Characteristic Decomposition: From Regular Sets to Normal Sets. - Chenqi Mou; Dongming Wang 001 (J. Syst. Sci. Complex., 2019)

On n-sectors of the Angles of an Arbitrary Triangle. - Dongming Wang 001; Bo Huang 015; Xiaoyu Chen 001 (Math. Comput. Sci., 2020)

Decomposition of polynomial sets into characteristic pairs. - Dongming Wang 001; Rina Dong; Chenqi Mou (Math. Comput., 2020)

Comprehensive Characteristic Decomposition of Parametric Polynomial Systems. - Rina Dong; Dong Lu; Chenqi Mou; Dongming Wang 001 (ISSAC, 2021)

A symbolic-numerical algorithm for isolating real roots of certain radical expressions. - Dongming Wang 001; Juan Xu (J. Comput. Appl. Math., 2021)

Computing strong regular characteristic pairs with Gröbner bases. - Rina Dong; Dongming Wang 001 (J. Symb. Comput., 2021)

SMS Nanning and RWTH Aachen: In Memory of Vladimir Gerdt. - Dongming Wang 001 (Math. Comput. Sci., 2022)

Improving Angular Speed Uniformity by Piecewise Radical Reparameterization. - Hoon Hong; Dongming Wang 001; Jing Yang 039 (ADG, 2023)

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation. - Bo Huang 015; Dongming Wang 001; Jing Yang 039 (ISSAC, 2024)

Decomposition of Polynomial Ideals into Triangular Regular Sequences. - Dongming Wang 001; Linpeng Wang (ISSAC, 2024)

Squarefree normal representation of zeros of zero-dimensional polynomial systems. - Juan Xu; Dongming Wang 001; Dong Lu (J. Symb. Comput., 2024)

Collision Detection Between Convex Objects Using Pseudodistance and Unconstrained Optimization. - Rilun Xia; Dongming Wang 001; Chenqi Mou (IEEE Trans. Robotics, 2025)