Dongming Wang - RankMe

115 papers A* 1A 3B 11Misc 10Journal 60Unranked 23

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Jacobi stability analysis for systems of ODEs with symbolic computation. J. Symb. Comput. Bo Huang, Dongming Wang, Xinyu Wang, Jing Yang
2025	J	`jnl`	Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations. CoRR Christian G. Böhmer, Bo Huang, Dongming Wang, Xinyu Wang
2025	B	`conf`	Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations: Jacobi Stability of Systems of Second Order ODEs. ISSAC Christian G. Böhmer, Bo Huang, Dongming Wang, Xinyu Wang
2025	J	`jnl`	Collision Detection Between Convex Objects Using Pseudodistance and Unconstrained Optimization. IEEE Trans. Robotics Rilun Xia, Dongming Wang, Chenqi Mou
2025	J	`jnl`	Improving angular speed uniformity of rational parameterization using piecewise radical reparameterization. Ann. Math. Artif. Intell. Hoon Hong, Dongming Wang, Jing Yang
2024	B	`conf`	Decomposition of Polynomial Ideals into Triangular Regular Sequences. ISSAC Dongming Wang, Linpeng Wang
2024	B	`conf`	Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation. ISSAC Bo Huang, Dongming Wang, Jing Yang
2024	J	`jnl`	Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation. CoRR Bo Huang, Dongming Wang, Jing Yang
2024	J	`jnl`	Squarefree normal representation of zeros of zero-dimensional polynomial systems. J. Symb. Comput. Juan Xu, Dongming Wang, Dong Lu
2023	—	`conf`	Improving Angular Speed Uniformity by Piecewise Radical Reparameterization. ADG Hoon Hong, Dongming Wang, Jing Yang
2022	J	`jnl`	SMS Nanning and RWTH Aachen: In Memory of Vladimir Gerdt. Math. Comput. Sci. Dongming Wang
2022	J	`jnl`	Zero-Hopf Bifurcation of Limit Cycles in Certain Differential Systems. CoRR Bo Huang, Dongming Wang
2021	J	`jnl`	A symbolic-numerical algorithm for isolating real roots of certain radical expressions. J. Comput. Appl. Math. Dongming Wang, Juan Xu
2021	B	`conf`	Comprehensive Characteristic Decomposition of Parametric Polynomial Systems. ISSAC Rina Dong, Dong Lu, Chenqi Mou, Dongming Wang
2021	J	`jnl`	Computing strong regular characteristic pairs with Gröbner bases. J. Symb. Comput. Rina Dong, Dongming Wang
2020	J	`jnl`	Decomposition of polynomial sets into characteristic pairs. Math. Comput. Dongming Wang, Rina Dong, Chenqi Mou
2020	J	`jnl`	On n-sectors of the Angles of an Arbitrary Triangle. Math. Comput. Sci. Dongming Wang, Bo Huang, Xiaoyu Chen
2019	J	`jnl`	Characteristic Decomposition: From Regular Sets to Normal Sets. J. Syst. Sci. Complex. Chenqi Mou, Dongming Wang
2019	J	`jnl`	Computing strong regular characteristic pairs with Groebner bases. CoRR Rina Dong, Dongming Wang
2019	J	`jnl`	Foreword to the Special Issue. J. Syst. Sci. Complex. Xiao-Shan Gao, Hongbo Li, Dongming Wang
2019	B	`ed.`	Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019. ISSAC James H. Davenport, Dongming Wang, Manuel Kauers, Russell J. Bradford
2018	Misc	`ed.`	Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings AISC Jacques D. Fleuriot, Dongming Wang, Jacques Calmet
2018	Misc	`conf`	LaTEX: A Linear Algebra Textbook System. AISC Xiaoyu Chen, Haotian Shuai, Dongming Wang, Jing Yang
2018	J	`jnl`	On W-characteristic sets of lexicographic Gröbner bases. ACM Commun. Comput. Algebra Chenqi Mou, Dongming Wang
2017	J	`jnl`	Decomposition of polynomial sets into characteristic pairs. CoRR Dongming Wang, Rina Dong, Chenqi Mou
2017	J	`jnl`	Retrieving geometric information from images: the case of hand-drawn diagrams. Data Min. Knowl. Discov. Dan Song, Dongming Wang, Xiaoyu Chen
2017	J	`jnl`	Special Issue on Program Verification, Automated Debugging and Symbolic Computation. J. Symb. Comput. Tudor Jebelean, Wei Li, Dongming Wang
2016	J	`jnl`	Foreword. Math. Comput. Sci. J. Rafael Sendra, Dongming Wang, Jing Yang
2016	J	`jnl`	On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases. Math. Comput. Sci. Dongming Wang
2015	J	`jnl`	Automated generation of geometric theorems from images of diagrams. Ann. Math. Artif. Intell. Xiaoyu Chen, Dan Song, Dongming Wang
2015	J	`jnl`	On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases. CoRR Dongming Wang
2015	—	`conf`	Searching for Geometric Theorems Using Features Retrieved from Diagrams. MACIS Wenya An, Xiaoyu Chen, Dongming Wang
2015	J	`jnl`	Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471). Dagstuhl Reports Erika Ábrahám, Pascal Fontaine, Thomas Sturm, Dongming Wang
2014	J	`jnl`	Automated Generation of Geometric Theorems from Images of Diagrams. CoRR Xiaoyu Chen, Dan Song, Dongming Wang
2014	—	`conf`	Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams. ADG Dan Song, Dongming Wang, Xiaoyu Chen
2014	—	`conf`	OpenGeo: An Open Geometric Knowledge Base. ICMS Dongming Wang, Xiaoyu Chen, Wenya An, Lei Jiang, Dan Song
2014	J	`jnl`	The Spaces of Data, Information, and Knowledge. CoRR Xiaoyu Chen, Dongming Wang
2013	J	`jnl`	A framework for improving uniformity of parameterizations of curves. Sci. China Inf. Sci. Hoon Hong, Dongming Wang, Jing Yang
2013	J	`jnl`	A new algorithmic scheme for computing characteristic sets. J. Symb. Comput. Meng Jin, Xiaoliang Li, Dongming Wang
2013	J	`jnl`	Computing Equilibria of Semi-algebraic Economies Using Triangular Decomposition and Real Solution Classification. CoRR Xiaoliang Li, Dongming Wang
2013	J	`jnl`	Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case. Theor. Comput. Sci. Chenqi Mou, Dongming Wang, Xiaoliang Li
2013	J	`jnl`	Foreword to the Special Focus on Mathematics, Data and Knowledge. Math. Comput. Sci. Xiaoyu Chen, Dongming Wang, Xiangliang Zhang
2013	J	`jnl`	Formalization and Specification of Geometric Knowledge Objects. Math. Comput. Sci. Xiaoyu Chen, Dongming Wang
2013	J	`jnl`	Improving angular speed uniformity by reparameterization. Comput. Aided Geom. Des. Jing Yang, Dongming Wang, Hoon Hong
2012	J	`jnl`	Algebraic analysis of stability and bifurcation of a self-assembling micelle system. Appl. Math. Comput. Wei Niu, Dongming Wang
2012	J	`jnl`	Algebraic stability criteria and symbolic derivation of stability conditions for feedback control systems. Int. J. Control Dongming Wang
2012	—	`conf`	Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management. Automated Deduction in Geometry Dongming Wang
2012	J	`jnl`	GeoText: an intelligent dynamic geometry textbook. ACM Commun. Comput. Algebra Xiaoyu Chen, Dongming Wang, Ting Zhao
2012	—	`conf`	ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves. ASCM Jing Yang, Dongming Wang, Hoon Hong
2012	—	`conf`	Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization. Automated Deduction in Geometry Jing Yang, Dongming Wang, Hoon Hong
2012	B	`conf`	Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization. CASC Jing Yang, Dongming Wang, Hoon Hong
2012	J	`jnl`	Management of geometric knowledge in textbooks. Data Knowl. Eng. Xiaoyu Chen, Dongming Wang
2012	—	`conf`	Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description). AISC/MKM/Calculemus Xiaoyu Chen, Wei Li, Jie Luo, Dongming Wang
2012	Misc	`conf`	Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints. SAC Ting Zhao, Hoon Hong, Dongming Wang, Philippe Aubry
2011	Misc	`ed.`	13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011 SYNASC Dongming Wang, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2011	J	`jnl`	A New Algorithmic Scheme for Computing Characteristic Sets CoRR Meng Jin, Xiaoliang Li, Dongming Wang
2011	J	`jnl`	Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases. Comput. Aided Geom. Des. Yanli Huang, Dongming Wang
2011	J	`jnl`	Solution formulas for cubic equations without or with constraints. J. Symb. Comput. Ting Zhao, Dongming Wang, Hoon Hong
2011	J	`jnl`	Stability Analysis for Discrete Biological Models Using Algebraic Methods. Math. Comput. Sci. Xiaoliang Li, Chenqi Mou, Wei Niu, Dongming Wang
2010	J	`jnl`	Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case. Comput. Math. Appl. Xiaoliang Li, Chenqi Mou, Dongming Wang
2009	Misc	`conf`	Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner Bases. SYNASC Yanli Huang, Dongming Wang
2008	—	`conf`	Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems. AB Wei Niu, Dongming Wang
2008	J	`jnl`	Algebraic Approaches to Stability Analysis of Biological Systems. Math. Comput. Sci. Wei Niu, Dongming Wang
2008	—	`conf`	On the Design and Implementation of a Geometric Knowledge Base. Automated Deduction in Geometry Xiaoyu Chen, Ying Huang, Dongming Wang
2008	Misc	`conf`	Triangular Decomposition for Algebraic and Geometric Computing. SYNASC Dongming Wang
2007	J	`jnl`	Foreword. Math. Comput. Sci. Dongming Wang, Lihong Zhi
2007	J	`jnl`	On the design and implementation of a geometric-object-oriented language. Frontiers Comput. Sci. China Tielin Liang, Dongming Wang
2007	B	`ed.`	Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings ISSAC Dongming Wang
2006	Misc	`ed.`	Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings AISC Jacques Calmet, Tetsuo Ida, Dongming Wang
2006	—	`ed.`	Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers Automated Deduction in Geometry Hoon Hong, Dongming Wang
2006	Misc	`conf`	Solving Dynamic Geometric Constraints Involving Inequalities. AISC Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang
2006	—	`conf`	Towards an Electronic Geometry Textbook. Automated Deduction in Geometry Xiaoyu Chen, Dongming Wang
2006	B	`conf`	Uniform Gröbner bases for ideals generated by polynomials with parametric exponents. ISSAC Wei Pan, Dongming Wang
2005	B	`conf`	Stability analysis of biological systems with real solution classification. ISSAC Dongming Wang, Bican Xia
2005	—	`conf`	The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems. Algorithmic Algebra and Logic Dongming Wang
2004	J	`jnl`	A simple method for implicitizing rational curves and surfaces. J. Symb. Comput. Dongming Wang
2004	—	`book`	Elimination Practice - Software Tools and Applications. Dongming Wang
2004	—	`conf`	Towards a Geometric-Object-Oriented Language. Automated Deduction in Geometry Tielin Liang, Dongming Wang
2003	—	`conf`	Automated Generation of Diagrams with Maple and Java. Algebra, Geometry, and Software Systems Dongming Wang
2002	—	`conf`	GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. Automated Deduction in Geometry Dongming Wang
2001	—	`ed.`	Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers Automated Deduction in Geometry Jürgen Richter-Gebert, Dongming Wang
2001	—	`book`	Elimination Methods. Dongming Wang
2000	J	`jnl`	Computing Triangular Systems and Regular Systems. J. Symb. Comput. Dongming Wang
2000	—	`conf`	Reasoning about Surfaces Using Differential Zero and Ideal Decomposition. Automated Deduction in Geometry Philippe Aubry, Dongming Wang
1999	—	`ed.`	Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings Automated Deduction in Geometry Xiao-Shan Gao, Dongming Wang, Lu Yang
1999	J	`jnl`	Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving. Fundam. Informaticae Stéphane Fèvre, Dongming Wang
1999	—	`book`	Méthodes d'élimination et applications. (Elimination methods). Dongming Wang
1999	J	`jnl`	Polynomial Systems from Certain Differential Equations. J. Symb. Comput. Dongming Wang
1998	—	`conf`	Clifford Term Rewriting for Geometric Reasoning in 3D. Automated Deduction in Geometry Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang
1998	Misc	`conf`	Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving. AISC Stéphane Fèvre, Dongming Wang
1998	—	`conf`	Decomposing Algebraic Varieties. Automated Deduction in Geometry Dongming Wang
1998	J	`jnl`	Decomposing Polynomial Systems into Simple Systems. J. Symb. Comput. Dongming Wang
1998	A	`conf`	Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules. CADE Stéphane Fèvre, Dongming Wang
1998	J	`jnl`	Unmixed and prime decomposition of radicals of polynomial ideals. SIGSAM Bull. Dongming Wang
1997	—	`ed.`	Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers Automated Deduction in Geometry Dongming Wang
1996	—	`conf`	Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision. Automated Deduction in Geometry Dongming Wang
1996	A	`conf`	GEOTHER: A Geometry Theorem Prover. CADE Dongming Wang
1996	—	`conf`	Geometry Machines: From AI to SMC. AISMC Dongming Wang
1995	J	`jnl`	A Method for Proving Theorems in Differebtial Geometry and Mechanics J. Univers. Comput. Sci. Dongming Wang
1995	J	`jnl`	Elimination Procedures for Mechanical Theorem Proving in geometry. Ann. Math. Artif. Intell. Dongming Wang
1994	A	`conf`	Algebraic Factoring and Geometry Proving. CADE Dongming Wang
1994	J	`jnl`	Differentiation and Integration of Indefinite Summations with Respect to Indexed Variables - Some Rules and Applications. J. Symb. Comput. Dongming Wang
1993	J	`jnl`	An Elimination Method for Polynomial Systems. J. Symb. Comput. Dongming Wang
1993	Misc	`conf`	Automatic Generation of C IWANN Stephan Dreiseitl, Dongming Wang
1992	B	`conf`	A Strategy for Speeding-up the Computation of Characteristic Sets. MFCS Dongming Wang
1992	J	`jnl`	Computer Aided Analysis and Derivation for Artificial Neural Systems. IEEE Trans. Software Eng. Dongming Wang, Bernd Schürmann
1992	J	`jnl`	Irreducible decomposition of algebraic varieties via characteristics sets and Gröbner bases. Comput. Aided Geom. Des. Dongming Wang
1991	B	`conf`	A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks. ISSAC Dongming Wang
1991	J	`jnl`	A toolkit for manipulating indefinite summations with application to neural networks. SIGSAM Bull. Dongming Wang
1991	—	`conf`	Computer Algebra and Neurodynamics. Physik und Informatik Dongming Wang, Bernd Schürmann
1991	J	`jnl`	Mechanical Manipulation for a Class of Differential Systems. J. Symb. Comput. Dongming Wang
1991	—	`conf`	On the Parallelization of Characteristic-Set-Based Algorithms. ACPC Dongming Wang
1989	J	`jnl`	A program for computing the Liapunov functions and Liapunov constants in scratchpad II. SIGSAM Bull. Dongming Wang
1989	—	`conf`	Computer Algebraic Methods for Investigating Plane Differential Systems of Center and Focus Type. Computers and Mathematics Dongming Wang
1989	A*	`conf`	On Wu's Method for Proving Constructive Geometric Theorems. IJCAI Dongming Wang