基本信息
杨路男博导中国科学院成都计算机应用研究所
电子邮件： luyang@casit.ac.cn
通信地址： 成都市人民南路四段九号
邮政编码： 610041

研究领域

招生信息
招生专业081202-计算机软件与理论
070104-应用数学

招生方向计算机自动推理与符号计算
数学机械化及其应用


教育背景
学历
学位

工作经历
工作简历1992-07~1996-07,中科院成都计算所,主任
1992-07~2011-07,中科院成都计算机应用研究所,研究员
1986-07~1991-07,中国科学院成都数理科学研究室,研究员
1979-07~1985-07,中国科学技术大学,讲师

社会兼职

教授课程

专利与奖励
奖励信息
专利成果

出版信息
发表论文（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作者

发表著作（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

参与会议

合作情况
项目协作单位

指导学生已指导学生
张新丽博士研究生081202-计算机软件与理论
刘忠博士研究生081202-计算机软件与理论
夏时洪博士研究生081202-计算机软件与理论
刘武博士研究生081202-计算机软件与理论
章勇博士研究生081202-计算机软件与理论
李耀辉博士研究生081202-计算机软件与理论
黄方剑博士研究生081202-计算机软件与理论
薛继伟博士研究生081202-计算机软件与理论
宗芳硕士研究生070104-应用数学
黄梅硕士研究生070104-应用数学
张永成博士研究生081202-计算机软件与理论
李轶博士研究生081202-计算机软件与理论
徐嘉博士研究生081202-计算机软件与理论
骆家伟硕士研究生081202-计算机软件与理论
张韬博士研究生081202-计算机软件与理论
彭成硕士研究生070104-应用数学
史承毅硕士研究生081202-计算机软件与理论
李玲娜博士研究生081202-计算机软件与理论
牟琳博士研究生081202-计算机软件与理论
杜书泽博士研究生081202-计算机软件与理论
现指导学生
林小光博士研究生081202-计算机软件与理论
钟坤华博士研究生081202-计算机软件与理论
祁宝莲硕士研究生081202-计算机软件与理论
赵学良博士研究生081202-计算机软件与理论