你正在使用旧版本浏览器。请升级浏览器以获得更好的体验。
姓 名
王东明(博导)
职 称
教授
所属系别
计算科学系
学科专业
机械化数学、符号计算、自动推理、知识管理与发现、
代数生物学
办公地点
新主楼F911
办公电话
010 82338311
电子邮件
Dongming.Wang@buaa.edu.cn
Retrieving Geometric Information from Images: The Case of Hand-drawn Diagrams (with Xiaoyu Chen and Dan Song). Data Mining and Knowledge Discovery 31(4) (2017) 934-971.
On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases. Mathematics in Computer Science 10(4) (2016) 479-492.
Automated Generation of Geometric Theorems from Images of Diagrams (with Xiaoyu Chen and Dan Song). Annals of Mathematics and Artificial Intelligence 74 (2015) 333-358.
Computing Equilibria of Semi-algebraic Economies Using Triangular Decomposition and Real Solution Classification (with Xiaoliang Li). Journal of Mathematical Economics 54 (2014) 48-58.
Formalization and Specification of Geometric Knowledge Objects (with Xiaoyu Chen). Mathematics in Computer Science 7(4) (2013) 439-454.
A Framework for Improving Uniformity of Parameterizations of Curves (with Hoon Hong and Jing Yang). Science China Information Sciences 56(10) (2013) 108101:1-108101:22.
Improving Angular Speed Uniformity by Reparametrization (with Hoon Hong and Jing Yang). Computer Aided Geometric Design 30(7) (2013) 636-652.
Decomposing Polynomial Sets into Simple Sets over Finite Fields: The Positive-dimensional Case (with Xiaoliang Li and Chenqi Mou). Theoretical Computer Science 468 (2013) 102-113.
A New Algorithmic Scheme for Computing Characteristic Sets (with Meng Jin and Xiaoliang Li). Journal of Symbolic Computation 50 (2013) 431-449.
Algebraic Analysis of Stability and Bifurcation of a Self-assembling Micelle System (with Wei Niu). Applied Mathematics and Computation 219(1) (2012) 108-121.
Algebraic Stability Criteria and Symbolic Derivation of Stability Conditions for Feedback Control Systems. International Journal of Control 85(10) (2012) 1414-1421.
Management of Geometric Knowledge in Textbooks (with Xiaoyu Chen). Data & Knowledge Engineering 73 (2012) 43-57.
Computing Intersection and Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Gröbner Bases (with Yanli Huang). Computer Aided Geometric Design 28(9) (2011) 566-581.
Stability Analysis for Discrete Biological Models Using Algebraic Methods (with Xiaoliang Li, Chenqi Mou, and Wei Niu). Mathematics in Computer Science 5(3) (2011) 247-262.
Solution Formulas for Cubic Equations Without or With Constraints (with Hoon Hong and Ting Zhao). Journal of Symbolic Computation 46(8) (2011) 904-918.
Algebraic Analysis of Stability and Bifurcation for Nonlinear Flight Dynamics. The Aeronautical Journal 115(1168) (2011) 345-349.
Decomposing Polynomial Sets into Simple Sets over Finite Fields: The Zero-dimensional Case (with Xiaoliang Li and Chenqi Mou). Computers and Mathematics with Applications 60(11) (2010) 2983-2997.
Algebraic Approaches to Stability Analysis of Biological Systems (with Wei Niu). Mathematics in Computer Science 1(3) (2008) 507-539.
More ...
在符号计算、自动推理、知识管理与发现、微分方程和生物网络等领域从事基础与应用研究,已出版专著3部、教材3本、编译著20余部,发表专业学术论文100余篇,在国际学术会议上作特邀报告30余次。其代表性研究成果在国内外科技文献中被称为“王方法”、“王简单系统”、“王−胡方法”、“王定理”等。是多项式系统消元与分解、几何学自动推理和微分方程符号分析方面的国际著名学者,多个欧共体项目、国际合作项目和国家973项目的学术骨干,参与发起和组织了100多项国际学术活动。先后担任AISC 2006 & 2018、ISSAC 2007 & 2019等国际学术会议的大会主席和《中国科学:信息科学》、《SCIENCE CHINA Information Sciences》的常务副主编,是国际学术期刊《Mathematics in Computer Science》的创刊主编。
推荐链接
版权所有 © 2021 hjc888老品牌黄金城 - 新黄金城xhjc官方网站地址:北京市昌平区高教园南三街9号 电话:61716719