导师信息#北京航空航天大学数学与系统科学学院应用数学导师介绍#王东明 ...

heagreelm

导师详细信息
姓名咨询QQ、微信：2544906与分解、几何学自动推理和微分方程符号分析方面的国际知名专家，多个欧共体项目、国际合作项目和国家973项目的学术骨干，参与发起和组织了100多项国际学术活动。现任国际学术期刊《Mathematics in Computer Science》主编、《SCIENCE CHINA Information Sciences》常务副主编、《Journal of Symbolic Computation》等多份期刊和丛书的编委。
研究特色咨询QQ、微信：2544906和几何学自动推理的发展，主编《Mathematics in Computer Science》和《SCIENCE CHINA Information Sciences》。
近五年代表性学术论文:
1. Algebraic Analysis of Stability and Bifurcation for Nonlinear Flight Dynamics. 201106. 一作. The Aeronautical Journal.
2. Algebraic Stability Criteria and Symbolic Derivation of Stability Conditions for Feedback Control Systems. 201210.一作.International Journal of Control.
3. Improving Angular Speed Uniformity by Reparametrization. 201310. 二作. Computer Aided Geometric Design.
4. Computing Equilibria of Semi-algebraic Economies Using Triangular Decomposition and Real Solution Classification. 201410. 二作. Journal of Mathematical Economics.
5. Automated Generation of Geometric Theorems from Images of Diagrams. 201410. 三作. Annals of Mathematics and Articial Intelligence.
近五年承担的主要科研项目:
1.软件开发环境国家重点实验室课题.201104-201512.SKLSDE-2011KF-02/SKLSDE-2015ZX-18.符号计算、知识管理与发现.21万元.
2.法国Agence Nationaledela Recherche和中国国家自然科学基金委员会国际合作与交流项目.201003-201312.60911130369.代数系统的准确、可信计算.30.16万欧元+45万元.