Dongming Wang

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 14

Top Topics

Geometric Information

Top Venues

J. Symb. Comput.

Math. Comput. Sci.

Ann. Math. Artif. Intell.

Publications

Juan Xu, Dongming Wang, Dong Lu
Squarefree normal representation of zeros of zero-dimensional polynomial systems. J. Symb. Comput. 122 (2024)
Hoon Hong, Dongming Wang, Jing Yang
Improving Angular Speed Uniformity by Piecewise Radical Reparameterization. CoRR (2024)
Rina Dong, Dongming Wang
Computing strong regular characteristic pairs with Gröbner bases. J. Symb. Comput. 104 (2021)
Rina Dong, Dong Lu, Chenqi Mou, Dongming Wang
Comprehensive Characteristic Decomposition of Parametric Polynomial Systems. ISSAC (2021)
Dongming Wang, Rina Dong, Chenqi Mou
Decomposition of polynomial sets into characteristic pairs. Math. Comput. 89 (324) (2020)
Rina Dong, Dongming Wang
Computing strong regular characteristic pairs with Groebner bases. CoRR (2019)
Chenqi Mou, Dongming Wang
Characteristic Decomposition: From Regular Sets to Normal Sets. J. Syst. Sci. Complex. 32 (1) (2019)
Chenqi Mou, Dongming Wang
On W-characteristic sets of lexicographic Gröbner bases. ACM Commun. Comput. Algebra 52 (4) (2018)
Xiaoyu Chen, Haotian Shuai, Dongming Wang, Jing Yang
LaTEX: A Linear Algebra Textbook System. AISC (2018)
Dongming Wang, Rina Dong, Chenqi Mou
Decomposition of polynomial sets into characteristic pairs. CoRR (2017)
Dan Song, Dongming Wang, Xiaoyu Chen
Retrieving geometric information from images: the case of hand-drawn diagrams. Data Min. Knowl. Discov. 31 (4) (2017)
Tudor Jebelean, Wei Li, Dongming Wang
Special Issue on Program Verification, Automated Debugging and Symbolic Computation. J. Symb. Comput. 80 (2017)
Dongming Wang
On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases. Math. Comput. Sci. 10 (4) (2016)
J. Rafael Sendra, Dongming Wang, Jing Yang
Foreword. Math. Comput. Sci. 10 (1) (2016)
Wenya An, Xiaoyu Chen, Dongming Wang
Searching for Geometric Theorems Using Features Retrieved from Diagrams. MACIS (2015)
Dongming Wang
On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases. CoRR (2015)
Xiaoyu Chen, Dan Song, Dongming Wang
Automated generation of geometric theorems from images of diagrams. Ann. Math. Artif. Intell. 74 (3-4) (2015)
Dongming Wang, Xiaoyu Chen, Wenya An, Lei Jiang, Dan Song
OpenGeo: An Open Geometric Knowledge Base. ICMS (2014)
Xiaoyu Chen, Dan Song, Dongming Wang
Automated Generation of Geometric Theorems from Images of Diagrams. CoRR (2014)
Xiaoyu Chen, Dongming Wang
The Spaces of Data, Information, and Knowledge. CoRR (2014)
Dan Song, Dongming Wang, Xiaoyu Chen
Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams. ADG (2014)
Xiaoyu Chen, Dongming Wang, Xiangliang Zhang
Foreword to the Special Focus on Mathematics, Data and Knowledge. Math. Comput. Sci. 7 (4) (2013)
Jing Yang, Dongming Wang, Hoon Hong
Improving angular speed uniformity by reparameterization. Comput. Aided Geom. Des. 30 (7) (2013)
Hoon Hong, Dongming Wang, Jing Yang
A framework for improving uniformity of parameterizations of curves. Sci. China Inf. Sci. 56 (10) (2013)
Xiaoliang Li, Dongming Wang
Computing Equilibria of Semi-algebraic Economies Using Triangular Decomposition and Real Solution Classification. CoRR (2013)
Chenqi Mou, Dongming Wang, Xiaoliang Li
Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case. Theor. Comput. Sci. 468 (2013)
Xiaoyu Chen, Dongming Wang
Formalization and Specification of Geometric Knowledge Objects. Math. Comput. Sci. 7 (4) (2013)
Meng Jin, Xiaoliang Li, Dongming Wang
A new algorithmic scheme for computing characteristic sets. J. Symb. Comput. 50 (2013)
Ting Zhao, Hoon Hong, Dongming Wang, Philippe Aubry
Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints. SAC (2012)
Wei Niu, Dongming Wang
Algebraic analysis of stability and bifurcation of a self-assembling micelle system. Appl. Math. Comput. 219 (1) (2012)
Xiaoyu Chen, Wei Li, Jie Luo, Dongming Wang
Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description). AISC/MKM/Calculemus (2012)
Dongming Wang
Algebraic stability criteria and symbolic derivation of stability conditions for feedback control systems. Int. J. Control 85 (10) (2012)
Xiaoyu Chen, Dongming Wang, Ting Zhao
GeoText: an intelligent dynamic geometry textbook. ACM Commun. Comput. Algebra 46 (3/4) (2012)
Xiaoyu Chen, Dongming Wang
Management of geometric knowledge in textbooks. Data Knowl. Eng. 73 (2012)
Jing Yang, Dongming Wang, Hoon Hong
Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization. CASC (2012)
Jing Yang, Dongming Wang, Hoon Hong
Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization. Automated Deduction in Geometry (2012)
Jing Yang, Dongming Wang, Hoon Hong
ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves. ASCM (2012)
Xiaoliang Li, Chenqi Mou, Wei Niu, Dongming Wang
Stability Analysis for Discrete Biological Models Using Algebraic Methods. Math. Comput. Sci. 5 (3) (2011)
Yanli Huang, Dongming Wang
Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases. Comput. Aided Geom. Des. 28 (9) (2011)
Meng Jin, Xiaoliang Li, Dongming Wang
A New Algorithmic Scheme for Computing Characteristic Sets CoRR (2011)
Ting Zhao, Dongming Wang, Hoon Hong
Solution formulas for cubic equations without or with constraints. J. Symb. Comput. 46 (8) (2011)
Xiaoliang Li, Chenqi Mou, Dongming Wang
Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case. Comput. Math. Appl. 60 (11) (2010)
Yanli Huang, Dongming Wang
Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner Bases. SYNASC (2009)
Wei Niu, Dongming Wang
Algebraic Approaches to Stability Analysis of Biological Systems. Math. Comput. Sci. 1 (3) (2008)
Wei Niu, Dongming Wang
Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems. AB (2008)
Xiaoyu Chen, Ying Huang, Dongming Wang
On the Design and Implementation of a Geometric Knowledge Base. Automated Deduction in Geometry (2008)
Tielin Liang, Dongming Wang
On the design and implementation of a geometric-object-oriented language. Frontiers Comput. Sci. China 1 (2) (2007)
Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang
Solving Dynamic Geometric Constraints Involving Inequalities. AISC (2006)
Wei Pan, Dongming Wang
Uniform Gröbner bases for ideals generated by polynomials with parametric exponents. ISSAC (2006)
Xiaoyu Chen, Dongming Wang
Towards an Electronic Geometry Textbook. Automated Deduction in Geometry (2006)
Dongming Wang, Bican Xia
Stability analysis of biological systems with real solution classification. ISSAC (2005)
Dongming Wang
The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems. Algorithmic Algebra and Logic (2005)
Tielin Liang, Dongming Wang
Towards a Geometric-Object-Oriented Language. Automated Deduction in Geometry (2004)
Dongming Wang
A simple method for implicitizing rational curves and surfaces. J. Symb. Comput. 38 (1) (2004)
Dongming Wang
Automated Generation of Diagrams with Maple and Java. Algebra, Geometry, and Software Systems (2003)
Dongming Wang
GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. Automated Deduction in Geometry (2002)
Philippe Aubry, Dongming Wang
Reasoning about Surfaces Using Differential Zero and Ideal Decomposition. Automated Deduction in Geometry (2000)
Dongming Wang
Computing Triangular Systems and Regular Systems. J. Symb. Comput. 30 (2) (2000)
Dongming Wang
Polynomial Systems from Certain Differential Equations. J. Symb. Comput. 28 (1-2) (1999)
Stéphane Fèvre, Dongming Wang
Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving. Fundam. Informaticae 39 (1-2) (1999)
Stéphane Fèvre, Dongming Wang
Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules. CADE (1998)
Dongming Wang
Decomposing Algebraic Varieties. Automated Deduction in Geometry (1998)
Stéphane Fèvre, Dongming Wang
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving. AISC (1998)
Dongming Wang
Unmixed and prime decomposition of radicals of polynomial ideals. SIGSAM Bull. 32 (4) (1998)
Dongming Wang
Decomposing Polynomial Systems into Simple Systems. J. Symb. Comput. 25 (3) (1998)
Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang
Clifford Term Rewriting for Geometric Reasoning in 3D. Automated Deduction in Geometry (1998)
Dongming Wang
Geometry Machines: From AI to SMC. AISMC (1996)
Dongming Wang
GEOTHER: A Geometry Theorem Prover. CADE (1996)
Dongming Wang
Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision. Automated Deduction in Geometry (1996)
Dongming Wang
Elimination Procedures for Mechanical Theorem Proving in geometry. Ann. Math. Artif. Intell. 13 (1-2) (1995)
Dongming Wang
A Method for Proving Theorems in Differebtial Geometry and Mechanics J. Univers. Comput. Sci. 1 (9) (1995)
Dongming Wang
Differentiation and Integration of Indefinite Summations with Respect to Indexed Variables - Some Rules and Applications. J. Symb. Comput. 18 (3) (1994)
Stephan Dreiseitl, Dongming Wang
Code for Neural Network Simulation. IWANN (1993)
Dongming Wang
An Elimination Method for Polynomial Systems. J. Symb. Comput. 16 (2) (1993)
Dongming Wang, Bernd Schürmann
Computer Aided Analysis and Derivation for Artificial Neural Systems. IEEE Trans. Software Eng. 18 (8) (1992)
Dongming Wang
A Strategy for Speeding-up the Computation of Characteristic Sets. MFCS (1992)
Dongming Wang, Bernd Schürmann
Computer Algebra and Neurodynamics. Physik und Informatik (1991)
Dongming Wang
A program for computing the Liapunov functions and Liapunov constants in scratchpad II. SIGSAM Bull. 23 (4) (1989)
Dongming Wang
Computer Algebraic Methods for Investigating Plane Differential Systems of Center and Focus Type. Computers and Mathematics (1989)
Dongming Wang
On Wu's Method for Proving Constructive Geometric Theorems. IJCAI (1989)