杨路 - 中国科学院大学 - 计算机科学与技术学院

个人简介

招生专业 081202-计算机软件与理论 070104-应用数学招生方向计算机自动推理与符号计算数学机械化及其应用工作简历 1992-07~1996-07,中科院成都计算所, 主任 1992-07~2011-07,中科院成都计算机应用研究所, 研究员 1986-07~1991-07,中国科学院成都数理科学研究室, 研究员 1979-07~1985-07,中国科学技术大学, 讲师发表著作（1）不等式机器证明与自动发现, 无, 科学出版社, 2008-07, 第 1 作者（2） Automated Inequality Proving and Discovering, World Scientific Publishing, 2016-08, 第 2 作者（3）张景中杨路文集, 湖南教育出版社, 2016-10, 第 2 作者科研项目（ 1 ）基于计算机代数的我国高速列车运行控制系统规范CTCS-3/4的分析与验证, 主持, 国家级, 2011-06--2011-12 （ 2 ）数学机械化方法及其在数字化设计制造中的应用, 参与, 国家级, 2011-01--2015-08 （ 3 ）探针机的理论，实现及应用, 参与, 国家级, 2017-01--2021-12

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

（1） Index reduction of differential algebraic equations by differential Dixon resultant, Appl. Math. Comput. , 2018, 第 2 作者（2） Quantifier elimination for a class of exponential polynomial formulas, Journal of Symbolic Computation, 2015, 第 3 作者（3） Solving Spatial Constraints with Generalized Distance Geometry, Distance Geometry: Theory, Methods, and Applications, 2013, 第 1 作者（4） Differential elimination with Dixon resultants, Applied Mathematics and Computation , 2012, 第 1 作者（5） Real polynomial iterative roots in the case of nonmonotonicity height 2, SCIENCE CHINA Mathematics, 2012, 第 2 作者（6）常用基本不等式的机器证明, 智能系统学报, 2011, 第 1 作者（7） Recent advances in program verification through computer algebra, Recent advances in program verification through computer algebra, Frontiers of Computer Science in China , 2010, 第 1 作者（8） Symbolic decision procedure for termination of linear programs, Symbolic decision procedure for termination of linear programs, Formal Asp. Comput, 2010, 第 2 作者