default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDongming Wang 0001
Person information
- affiliation: Beihang University, School of Mathematics and Systems Science, Beijing, China
- affiliation: LIP6, Paris
Other persons with the same name
- Dongming Wang — disambiguation page
- Dongming Wang 0002
![[0000-0003-2762-6567]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0003-2762-6567")
— Southeast University, National Mobile Communications Research Laboratory, Nanjing, China - Dongming Wang 0003 — University of Calgary, Department of Electrical and Computer Engineering, Canada
- Dongming Wang 0004 — Hunan University, College of Computer Science and Electronic Engineering, Changsha, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j46]Juan Xu, Dongming Wang, Dong Lu:
Squarefree normal representation of zeros of zero-dimensional polynomial systems. J. Symb. Comput. 122: 102273 (2024)- [c42]Bo Huang, Dongming Wang, Jing Yang:
Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation. ISSAC 2024: 180-187 - [c41]Dongming Wang, Linpeng Wang:
Decomposition of Polynomial Ideals into Triangular Regular Sequences. ISSAC 2024: 244-253 - 2023
- [c40]Hoon Hong, Dongming Wang, Jing Yang:
Improving Angular Speed Uniformity by Piecewise Radical Reparameterization. ADG 2023: 165-178 - 2022
- [j45]Dongming Wang:
SMS Nanning and RWTH Aachen: In Memory of Vladimir Gerdt. Math. Comput. Sci. 16(4): 25 (2022) - 2021
- [j44]Dongming Wang, Juan Xu:
A symbolic-numerical algorithm for isolating real roots of certain radical expressions. J. Comput. Appl. Math. 391: 113424 (2021) - [j43]Rina Dong, Dongming Wang:
Computing strong regular characteristic pairs with Gröbner bases. J. Symb. Comput. 104: 312-327 (2021) - [c39]Rina Dong, Dong Lu, Chenqi Mou, Dongming Wang:
Comprehensive Characteristic Decomposition of Parametric Polynomial Systems. ISSAC 2021: 123-130 - 2020
- [j42]Dongming Wang, Bo Huang, Xiaoyu Chen:
On n-sectors of the Angles of an Arbitrary Triangle. Math. Comput. Sci. 14(4): 757-773 (2020) - [j41]Dongming Wang, Rina Dong, Chenqi Mou:
Decomposition of polynomial sets into characteristic pairs. Math. Comput. 89(324): 1993-2015 (2020)
2010 – 2019
- 2019
- [j40]Xiao-Shan Gao, Hongbo Li, Dongming Wang:
Foreword to the Special Issue. J. Syst. Sci. Complex. 32(1): 1-2 (2019) - [j39]Chenqi Mou, Dongming Wang:
Characteristic Decomposition: From Regular Sets to Normal Sets. J. Syst. Sci. Complex. 32(1): 37-46 (2019) - [e9]James H. Davenport, Dongming Wang, Manuel Kauers, Russell J. Bradford:
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC 2019, Beijing, China, July 15-18, 2019. ACM 2019, ISBN 978-1-4503-6084-5 [contents] - [i8]Rina Dong, Dongming Wang:
Computing strong regular characteristic pairs with Groebner bases. CoRR abs/1907.13537 (2019) - 2018
- [j38]Chenqi Mou, Dongming Wang:
On W-characteristic sets of lexicographic Gröbner bases. ACM Commun. Comput. Algebra 52(4): 142-144 (2018) - [c38]Xiaoyu Chen, Haotian Shuai, Dongming Wang, Jing Yang:
LaTEX: A Linear Algebra Textbook System. AISC 2018: 209-214 - [e8]Jacques D. Fleuriot, Dongming Wang, Jacques Calmet:
Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings. Lecture Notes in Computer Science 11110, Springer 2018, ISBN 978-3-319-99956-2 [contents] - 2017
- [j37]Dan Song, Dongming Wang, Xiaoyu Chen:
Retrieving geometric information from images: the case of hand-drawn diagrams. Data Min. Knowl. Discov. 31(4): 934-971 (2017) - [j36]Tudor Jebelean, Wei Li, Dongming Wang:
Special Issue on Program Verification, Automated Debugging and Symbolic Computation. J. Symb. Comput. 80: 1-3 (2017) - [i7]Dongming Wang, Rina Dong, Chenqi Mou:
Decomposition of polynomial sets into characteristic pairs. CoRR abs/1702.08664 (2017) - 2016
- [j35]J. Rafael Sendra, Dongming Wang, Jing Yang:
Foreword. Math. Comput. Sci. 10(1): 1-3 (2016) - [j34]Dongming Wang:
On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases. Math. Comput. Sci. 10(4): 479-492 (2016) - 2015
- [j33]Xiaoyu Chen, Dan Song, Dongming Wang:
Automated generation of geometric theorems from images of diagrams. Ann. Math. Artif. Intell. 74(3-4): 333-358 (2015) - [c37]Wenya An, Xiaoyu Chen, Dongming Wang:
Searching for Geometric Theorems Using Features Retrieved from Diagrams. MACIS 2015: 383-397 - [i6]Dongming Wang:
On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases. CoRR abs/1506.08994 (2015) - [i5]Erika Ábrahám, Pascal Fontaine, Thomas Sturm, Dongming Wang:
Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471). Dagstuhl Reports 5(11): 71-89 (2015) - 2014
- [c36]Dan Song, Dongming Wang, Xiaoyu Chen:
Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams. ADG 2014: 149-165 - [c35]Dongming Wang, Xiaoyu Chen, Wenya An, Lei Jiang, Dan Song:
OpenGeo: An Open Geometric Knowledge Base. ICMS 2014: 240-245 - [i4]Xiaoyu Chen, Dan Song, Dongming Wang:
Automated Generation of Geometric Theorems from Images of Diagrams. CoRR abs/1406.1638 (2014) - [i3]Xiaoyu Chen, Dongming Wang:
The Spaces of Data, Information, and Knowledge. CoRR abs/1411.1497 (2014) - 2013
- [j32]Jing Yang, Dongming Wang, Hoon Hong:
Improving angular speed uniformity by reparameterization. Comput. Aided Geom. Des. 30(7): 636-652 (2013) - [j31]Hoon Hong, Dongming Wang, Jing Yang:
A framework for improving uniformity of parameterizations of curves. Sci. China Inf. Sci. 56(10): 1-22 (2013) - [j30]Meng Jin, Xiaoliang Li, Dongming Wang:
A new algorithmic scheme for computing characteristic sets. J. Symb. Comput. 50: 431-449 (2013) - [j29]Xiaoyu Chen, Dongming Wang, Xiangliang Zhang:
Foreword to the Special Focus on Mathematics, Data and Knowledge. Math. Comput. Sci. 7(4): 379-386 (2013) - [j28]Xiaoyu Chen, Dongming Wang:
Formalization and Specification of Geometric Knowledge Objects. Math. Comput. Sci. 7(4): 439-454 (2013) - [j27]Chenqi Mou, Dongming Wang, Xiaoliang Li:
Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case. Theor. Comput. Sci. 468: 102-113 (2013) - [i2]Xiaoliang Li, Dongming Wang:
Computing Equilibria of Semi-algebraic Economies Using Triangular Decomposition and Real Solution Classification. CoRR abs/1308.5029 (2013) - 2012
- [j26]Wei Niu, Dongming Wang:
Algebraic analysis of stability and bifurcation of a self-assembling micelle system. Appl. Math. Comput. 219(1): 108-121 (2012) - [j25]Xiaoyu Chen, Dongming Wang, Ting Zhao:
GeoText: an intelligent dynamic geometry textbook. ACM Commun. Comput. Algebra 46(3/4): 171-175 (2012) - [j24]Xiaoyu Chen, Dongming Wang:
Management of geometric knowledge in textbooks. Data Knowl. Eng. 73: 43-57 (2012) - [j23]Dongming Wang:
Algebraic stability criteria and symbolic derivation of stability conditions for feedback control systems. Int. J. Control 85(10): 1414-1421 (2012) - [c34]Dongming Wang:
Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management. Automated Deduction in Geometry 2012: 31-32 - [c33]Jing Yang, Dongming Wang, Hoon Hong:
Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization. Automated Deduction in Geometry 2012: 33-47 - [c32]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: 432-437 - [c31]Jing Yang, Dongming Wang, Hoon Hong:
ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves. ASCM 2012: 437-451 - [c30]Jing Yang, Dongming Wang, Hoon Hong:
Improving Angular Speed Uniformity by Optimal C 0 Piecewise Reparameterization. CASC 2012: 349-360 - [c29]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: 94-101 - 2011
- [j22]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): 566-581 (2011) - [j21]Ting Zhao, Dongming Wang, Hoon Hong:
Solution formulas for cubic equations without or with constraints. J. Symb. Comput. 46(8): 904-918 (2011) - [j20]Xiaoliang Li, Chenqi Mou, Wei Niu, Dongming Wang:
Stability Analysis for Discrete Biological Models Using Algebraic Methods. Math. Comput. Sci. 5(3): 247-262 (2011) - [e7]Dongming Wang, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011. IEEE Computer Society 2011, ISBN 978-1-4673-0207-4 [contents] - [i1]Meng Jin, Xiaoliang Li, Dongming Wang:
A New Algorithmic Scheme for Computing Characteristic Sets. CoRR abs/1108.1486 (2011) - 2010
- [j19]Xiaoliang Li, Chenqi Mou, Dongming Wang:
Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case. Comput. Math. Appl. 60(11): 2983-2997 (2010)
2000 – 2009
- 2009
- [c28]Yanli Huang, Dongming Wang:
Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner Bases. SYNASC 2009: 28-36 - 2008
- [j18]Wei Niu, Dongming Wang:
Algebraic Approaches to Stability Analysis of Biological Systems. Math. Comput. Sci. 1(3): 507-539 (2008) - [c27]Wei Niu, Dongming Wang:
Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems. AB 2008: 156-171 - [c26]Xiaoyu Chen, Ying Huang, Dongming Wang:
On the Design and Implementation of a Geometric Knowledge Base. Automated Deduction in Geometry 2008: 22-41 - [c25]Dongming Wang:
Triangular Decomposition for Algebraic and Geometric Computing. SYNASC 2008: 28 - 2007
- [j17]Tielin Liang, Dongming Wang:
On the design and implementation of a geometric-object-oriented language. Frontiers Comput. Sci. China 1(2): 180-190 (2007) - [j16]Dongming Wang, Lihong Zhi:
Foreword. Math. Comput. Sci. 1(2): 209-210 (2007) - [e6]Dongming Wang:
Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings. ACM 2007, ISBN 978-1-59593-743-8 [contents] - 2006
- [c24]Xiaoyu Chen, Dongming Wang:
Towards an Electronic Geometry Textbook. Automated Deduction in Geometry 2006: 1-23 - [c23]Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang:
Solving Dynamic Geometric Constraints Involving Inequalities. AISC 2006: 181-195 - [c22]Wei Pan, Dongming Wang:
Uniform Gröbner bases for ideals generated by polynomials with parametric exponents. ISSAC 2006: 269-276 - [e5]Hoon Hong, Dongming Wang:
Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers. Lecture Notes in Computer Science 3763, Springer 2006, ISBN 3-540-31332-X [contents] - [e4]Jacques Calmet, Tetsuo Ida, Dongming Wang:
Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings. Lecture Notes in Computer Science 4120, Springer 2006, ISBN 3-540-39728-0 [contents] - 2005
- [c21]Dongming Wang:
The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems. Algorithmic Algebra and Logic 2005: 269-274 - [c20]Dongming Wang, Bican Xia:
Stability analysis of biological systems with real solution classification. ISSAC 2005: 354-361 - 2004
- [b3]Dongming Wang:
Elimination Practice - Software Tools and Applications. Imperial College Press 2004, ISBN 978-1-86094-438-3, pp. I-VIII, 1-222 - [j15]Dongming Wang:
A simple method for implicitizing rational curves and surfaces. J. Symb. Comput. 38(1): 899-914 (2004) - [c19]Tielin Liang, Dongming Wang:
Towards a Geometric-Object-Oriented Language. Automated Deduction in Geometry 2004: 130-155 - 2003
- [c18]Dongming Wang:
Automated Generation of Diagrams with Maple and Java. Algebra, Geometry, and Software Systems 2003: 277-287 - 2002
- [c17]Dongming Wang:
GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. Automated Deduction in Geometry 2002: 194-215 - 2001
- [b2]Dongming Wang:
Elimination Methods. Texts & Monographs in Symbolic Computation, Springer 2001, ISBN 978-3-211-83241-7, pp. i-xiii, 1-244 - [e3]Jürgen Richter-Gebert, Dongming Wang:
Automated Deduction in Geometry, Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers. Lecture Notes in Computer Science 2061, Springer 2001, ISBN 3-540-42598-5 [contents] - 2000
- [j14]Dongming Wang:
Computing Triangular Systems and Regular Systems. J. Symb. Comput. 30(2): 221-236 (2000) - [c16]Philippe Aubry, Dongming Wang:
Reasoning about Surfaces Using Differential Zero and Ideal Decomposition. Automated Deduction in Geometry 2000: 154-174
1990 – 1999
- 1999
- [b1]Dongming Wang:
Méthodes d'élimination et applications. (Elimination methods). Grenoble Institute of Technology, France, 1999 - [j13]Stéphane Fèvre, Dongming Wang:
Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving. Fundam. Informaticae 39(1-2): 85-104 (1999) - [j12]Dongming Wang:
Polynomial Systems from Certain Differential Equations. J. Symb. Comput. 28(1-2): 303-315 (1999) - [e2]Xiao-Shan Gao, Dongming Wang, Lu Yang:
Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings. Lecture Notes in Computer Science 1669, Springer 1999, ISBN 3-540-66672-9 [contents] - 1998
- [j11]Dongming Wang:
Unmixed and prime decomposition of radicals of polynomial ideals. SIGSAM Bull. 32(4): 2-9 (1998) - [j10]Dongming Wang:
Decomposing Polynomial Systems into Simple Systems. J. Symb. Comput. 25(3): 295-314 (1998) - [c15]Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang:
Clifford Term Rewriting for Geometric Reasoning in 3D. Automated Deduction in Geometry 1998: 130-155 - [c14]Dongming Wang:
Decomposing Algebraic Varieties. Automated Deduction in Geometry 1998: 180-206 - [c13]Stéphane Fèvre, Dongming Wang:
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving. AISC 1998: 145-156 - [c12]Stéphane Fèvre, Dongming Wang:
Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules. CADE 1998: 17-31 - 1997
- [e1]Dongming Wang:
Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers. Lecture Notes in Computer Science 1360, Springer 1997, ISBN 3-540-64297-8 [contents] - 1996
- [c11]Dongming Wang:
Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision. Automated Deduction in Geometry 1996: 115-140 - [c10]Dongming Wang:
Geometry Machines: From AI to SMC. AISMC 1996: 213-239 - [c9]Dongming Wang:
GEOTHER: A Geometry Theorem Prover. CADE 1996: 166-170 - 1995
- [j9]Dongming Wang:
Elimination Procedures for Mechanical Theorem Proving in geometry. Ann. Math. Artif. Intell. 13(1-2): 1-24 (1995) - [j8]Dongming Wang:
A Method for Proving Theorems in Differebtial Geometry and Mechanics. J. Univers. Comput. Sci. 1(9): 658-673 (1995) - 1994
- [j7]Dongming Wang:
Differentiation and Integration of Indefinite Summations with Respect to Indexed Variables - Some Rules and Applications. J. Symb. Comput. 18(3): 249-263 (1994) - [c8]Dongming Wang:
Algebraic Factoring and Geometry Proving. CADE 1994: 386-400 - 1993
- [j6]Dongming Wang:
An Elimination Method for Polynomial Systems. J. Symb. Comput. 16(2): 83-114 (1993) - [c7]Stephan Dreiseitl, Dongming Wang:
Automatic Generation of C++ Code for Neural Network Simulation. IWANN 1993: 358-363 - 1992
- [j5]Dongming Wang:
Irreducible decomposition of algebraic varieties via characteristics sets and Gröbner bases. Comput. Aided Geom. Des. 9(6): 471-484 (1992) - [j4]Dongming Wang, Bernd Schürmann:
Computer Aided Analysis and Derivation for Artificial Neural Systems. IEEE Trans. Software Eng. 18(8): 728-735 (1992) - [c6]Dongming Wang:
A Strategy for Speeding-up the Computation of Characteristic Sets. MFCS 1992: 504-510 - 1991
- [j3]Dongming Wang:
A toolkit for manipulating indefinite summations with application to neural networks. SIGSAM Bull. 25(3): 18-27 (1991) - [j2]Dongming Wang:
Mechanical Manipulation for a Class of Differential Systems. J. Symb. Comput. 12(2): 233-254 (1991) - [c5]Dongming Wang:
On the Parallelization of Characteristic-Set-Based Algorithms. ACPC 1991: 338-349 - [c4]Dongming Wang:
A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks. ISSAC 1991: 462-463 - [c3]Dongming Wang, Bernd Schürmann:
Computer Algebra and Neurodynamics. Physik und Informatik 1991: 304-317
1980 – 1989
- 1989
- [j1]Dongming Wang:
A program for computing the Liapunov functions and Liapunov constants in scratchpad II. SIGSAM Bull. 23(4): 25-31 (1989) - [c2]Dongming Wang:
Computer Algebraic Methods for Investigating Plane Differential Systems of Center and Focus Type. Computers and Mathematics 1989: 91-99 - [c1]Dongming Wang:
On Wu's Method for Proving Constructive Geometric Theorems. IJCAI 1989: 419-424
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-26 01:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
