王东明｜北京航空航天大学｜学者主页

2026

Algorithmic analysis of Jacobi stability for systems of second order ordinary differential equations

Christian G. Böhmer, Bo Huang, Dongming Wang, Xinyu Wang

Journal of Symbolic Computation

DOI

2026

Sum-and-quotient characteristic decomposition of polynomial ideals

Dongming Wang, Linpeng Wang

Journal of Symbolic Computation

DOI

2025

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations

Christian G. Böhmer, Bo Huang, Dongming Wang, Xinyu Wang

International Symposium on Symbolic and Algebraic Computation

DOI

2025

Jacobi stability analysis for systems of ODEs with symbolic computation

Bo Huang, Dongming Wang, Xinyu Wang, Jing Yang

Journal of Symbolic Computation

DOI

2025

Improving angular speed uniformity of rational parameterization using piecewise radical reparameterization

Hoon Hong, Dongming Wang, Jing Mei Yang

Annals of Mathematics and Artificial Intelligence

DOI

2024

Zero-Hopf bifurcation of limit cycles in certain differential systems

Bo Huang, Dongming Wang

Bulletin des Sciences Mathématiques

DOI

2024

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation

Bo Huang, Dongming Wang, Jing Yang

International Symposium on Symbolic and Algebraic Computation

DOI

2024

Decomposition of Polynomial Ideals into Triangular Regular Sequences

Dongming Wang, Linpeng Wang

International Symposium on Symbolic and Algebraic Computation

DOI

2024

Improving Angular Speed Uniformity by Piecewise Radical Reparameterization

Hoon Hong, Dongming Wang, Jing Hua Yang

Electronic Proceedings in Theoretical Computer Science

DOI

2023

Squarefree normal representation of zeros of zero-dimensional polynomial systems

Juan Xu, Dongming Wang, Dong Lu

Journal of Symbolic Computation

DOI

2022

SMS Nanning and RWTH Aachen: In Memory of Vladimir Gerdt

Dongming Wang

Mathematics in Computer Science

DOI

2022

Symbolic computation for the qualitative theory of differential equations

Bo Huang, Wei Niu, Dongming Wang

Acta Mathematica Scientia

DOI

2021

Comprehensive Characteristic Decomposition of Parametric Polynomial Systems

Rina Dong, Dong Lu, Chenqi Mou, Dongming Wang

International Symposium on Symbolic and Algebraic Computation

DOI

2021

A symbolic-numerical algorithm for isolating real roots of certain radical expressions

Dongming Wang, Juan Xu

Journal of Computational and Applied Mathematics

DOI

2020

On n-sectors of the Angles of an Arbitrary Triangle

Dongming Wang, Bo Huang, Xiaoyu Chen

Mathematics in Computer Science

DOI

2020

Computing strong regular characteristic pairs with Gröbner bases

Rina Dong, Dongming Wang

Journal of Symbolic Computation

DOI

2019

Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements

James H. Davenport, Jacques Fleuriot, Pedro Quaresma, Tomás Recio, Dongming Wang

Electronic Proceedings in Theoretical Computer Science

DOI

2019

The second discriminant of a univariate polynomial

Dongming Wang, Jing Yang

Science China Mathematics

DOI

2019

Decomposition of polynomial sets into characteristic pairs

Dongming Wang, Rina Dong, Chenqi Mou

Mathematics of Computation

DOI

2019

Characteristic Decomposition: From Regular Sets to Normal Sets

Chenqi Mou, Dongming Wang

Journal of Systems Science and Complexity

DOI

2019

Foreword to the Special Issue

Xiao-Shan Gao, Hongbo Li, Dongming Wang

Journal of Systems Science and Complexity

DOI

2018

: A Linear Algebra Textbook System

Xiaoyu Chen, Haotian Shuai, Dongming Wang, Jing Yang

Lecture notes in computer science

DOI

2017

Retrieving geometric information from images: the case of hand-drawn diagrams

Dan Song, Dongming Wang, Xiaoyu Chen

Data Mining and Knowledge Discovery

DOI

2016

On the Connection Between Ritt Characteristic Sets and Buchberger–Gröbner Bases

Dongming Wang

Mathematics in Computer Science

DOI

2016

Special Issue on Program Verification, Automated Debugging and Symbolic Computation

Tudor Jebelean, Wei Li, Dongming Wang

Journal of Symbolic Computation

DOI

2016

Foreword

J. Rafael Sendra, Dongming Wang, Jing Yang

Mathematics in Computer Science

DOI

2016

Searching for Geometric Theorems Using Features Retrieved from Diagrams

Wenya An, Xiaoyu Chen, Dongming Wang

Lecture notes in computer science

DOI

2015

Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams

Dan Song, Dongming Wang, Xiaoyu Chen

Lecture notes in computer science

DOI

2014

Automated generation of geometric theorems from images of diagrams

Xiaoyu Chen, Dan Song, Dongming Wang

Annals of Mathematics and Artificial Intelligence

DOI

2014

OpenGeo: An Open Geometric Knowledge Base

Dongming Wang, Xiaoyu Chen, Wenya An, Lei Jiang, Dan Song

Lecture notes in computer science

DOI

2011

Algebraic analysis of stability and bifurcation for nonlinear flight dynamics

Dongming Wang

Aeronautical Journal

DOI

2009

Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner Bases

Yanli Huang, Dongming Wang

International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

DOI

2008

Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems

Wei Niu, Dongming Wang

Lecture notes in computer science

DOI

2008

Algebraic Approaches to Stability Analysis of Biological Systems

Wei Niu, Dongming Wang

Mathematics in Computer Science

DOI

2008

Triangular Decomposition for Algebraic and Geometric Computing

Dongming Wang

International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

DOI

2007

Towards an Electronic Geometry Textbook

Xiaoyu Chen, Dongming Wang

Springer eBooks

DOI

2007

Editorial

Dongming Wang, Zhiming Zheng

Mathematics in Computer Science

DOI

2007

Foreword

Dongming Wang, Lihong Zhi

Mathematics in Computer Science

DOI

2007

Proceedings of the 2007 international symposium on Symbolic and algebraic computation

Dongming Wang

DOI

2007

On the design and implementation of a geometric-object-oriented language

Tielin Liang, Dongming Wang

Frontiers of Computer Science in China

DOI

2006

Uniform Gröbner bases for ideals generated by polynomials with parametric exponents

Wei Pan, Dongming Wang

International Symposium on Symbolic and Algebraic Computation

DOI

2006

Solving Dynamic Geometric Constraints Involving Inequalities

Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang

Lecture notes in computer science

DOI

2006

Towards a Geometric-Object-Oriented Language

Tielin Liang, Dongming Wang

Lecture notes in computer science

DOI

2005

Stability analysis of biological systems with real solution classification

Dongming Wang, Bican Xia

International Symposium on Symbolic and Algebraic Computation

DOI

2004

计算机代数

王东明

《清华大学出版社》

2004

Proceedings of the 5th international conference on Automated Deduction in Geometry

Hoon Hong, Dongming Wang

2004

A simple method for implicitizing rational curves and surfaces

Dongming Wang

Journal of Symbolic Computation

DOI

2003

符号计算选讲

王东明

1992

一类微分方程问题的机器处理

王东明

《数学物理学报》

1990

Mechanical Manipulation for LaSalle's Invariat Set of Lotka-Volterra Systems

刘立，陆征一，王东明

《数学进展》

精选作品

期刊论文

Algorithmic analysis of Jacobi stability for systems of second order ordinary differential equations

Sum-and-quotient characteristic decomposition of polynomial ideals

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations

Jacobi stability analysis for systems of ODEs with symbolic computation

Improving angular speed uniformity of rational parameterization using piecewise radical reparameterization

Zero-Hopf bifurcation of limit cycles in certain differential systems

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation

Decomposition of Polynomial Ideals into Triangular Regular Sequences

Improving Angular Speed Uniformity by Piecewise Radical Reparameterization

Squarefree normal representation of zeros of zero-dimensional polynomial systems

SMS Nanning and RWTH Aachen: In Memory of Vladimir Gerdt

Symbolic computation for the qualitative theory of differential equations

Comprehensive Characteristic Decomposition of Parametric Polynomial Systems

A symbolic-numerical algorithm for isolating real roots of certain radical expressions

On n-sectors of the Angles of an Arbitrary Triangle

Computing strong regular characteristic pairs with Gröbner bases

Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements

The second discriminant of a univariate polynomial

Decomposition of polynomial sets into characteristic pairs

Characteristic Decomposition: From Regular Sets to Normal Sets

Foreword to the Special Issue

: A Linear Algebra Textbook System

Retrieving geometric information from images: the case of hand-drawn diagrams

On the Connection Between Ritt Characteristic Sets and Buchberger–Gröbner Bases

Special Issue on Program Verification, Automated Debugging and Symbolic Computation

Foreword

Searching for Geometric Theorems Using Features Retrieved from Diagrams

Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams

Automated generation of geometric theorems from images of diagrams

OpenGeo: An Open Geometric Knowledge Base

Algebraic analysis of stability and bifurcation for nonlinear flight dynamics

Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner Bases

Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems

Algebraic Approaches to Stability Analysis of Biological Systems

Triangular Decomposition for Algebraic and Geometric Computing

Towards an Electronic Geometry Textbook

Editorial

Foreword

Proceedings of the 2007 international symposium on Symbolic and algebraic computation

On the design and implementation of a geometric-object-oriented language

Uniform Gröbner bases for ideals generated by polynomials with parametric exponents

Solving Dynamic Geometric Constraints Involving Inequalities

Towards a Geometric-Object-Oriented Language

Stability analysis of biological systems with real solution classification

计算机代数

Proceedings of the 5th international conference on Automated Deduction in Geometry

A simple method for implicitizing rational curves and surfaces

符号计算选讲

一类微分方程问题的机器处理

Mechanical Manipulation for LaSalle's Invariat Set of Lotka-Volterra Systems

会议论文

Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation

预印本

The Spaces of Data, Information, and Knowledge

A New Algorithmic Scheme for Computing Characteristic Sets

书籍

Symbolic Computation and Education

研究方向