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

招生信息

   
招生专业
081202-计算机软件与理论
070104-应用数学
招生方向
计算机自动推理与符号计算
数学机械化及其应用

工作经历

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

专利与奖励

   
专利成果
[1] 王晓京, 万武南, 宋春雨, 刘旸, 吴玲玲, 孙宣东, 曹晟, 粟伟, 张景中, 杨路. 基于图形码子母印章族信息关联机制的软证件防伪方法. 中国: CN1321507, 2007-06-13.

出版信息

   
发表论文
[1] Dehbi, Lydia, Zeng, Zhenbing, Yang, Lu. The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2022, 108: 41-54, http://dx.doi.org/10.1016/j.jsc.2021.06.002.
[2] Xiaolin Qin, Lige Zhang, Lu Yang, Sheng Cao. Heuristics to sift extraneous factors in Dixon resultants. Journal of Symbolic Computation[J]. 2022, [3] 杨路. Proving nonnegativity of polynomial with computer. Proc. ATCM2019. 2019, [4] Qin, Xiaolin, Yang, Lu, Feng, Yong, Bachmann, Bernhard, Fritzson, Peter, 秦小林. Index reduction of differential algebraic equations by differential Dixon resultant. APPLIED MATHEMATICS AND COMPUTATION[J]. 2018, 328: 189-202, http://dx.doi.org/10.1016/j.amc.2017.12.029.
[5] Xu, Ming, Li, ZhiBin, Yang, Lu. Quantifier elimination for a class of exponential polynomial formulas. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2015, 68: 146-168, http://dx.doi.org/10.1016/j.jsc.2014.09.015.
[6] 杨路. Solving Spatial Constraints with Generalized Distance Geometry. Distance Geometry: Theory, Methods, and Applications. 2013, [7] Yang LiLi, Yang Lu, Yu ZhiHeng, Zhang WeiNian. Real polynomial iterative roots in the case of nonmonotonicity height >= 2. SCIENCE CHINA-MATHEMATICS[J]. 2012, 55(12): 2433-2446, https://www.webofscience.com/wos/woscc/full-record/WOS:000312144500002.
[8] Yang, Lu, Zeng, Zhenbing, Zhang, Weinian. Differential elimination with Dixon resultants. APPLIED MATHEMATICS AND COMPUTATION[J]. 2012, 218(21): 10679-10690, http://dx.doi.org/10.1016/j.amc.2012.04.036.
[9] Xia, Bican, Yang, Lu, Zhan, Naijun, Zhang, Zhihai. Symbolic decision procedure for termination of linear programs. FORMAL ASPECTS OF COMPUTING[J]. 2011, 23(2): 171-190, https://www.webofscience.com/wos/woscc/full-record/WOS:000288029200003.
[10] 杨路, 郁文生, 袁如意. 一类积分不等式的机器判定. 中国科学:信息科学. 2011, 41(1): 48-65, http://lib.cqvip.com/Qikan/Article/Detail?id=36686422.
[11] 杨路, 郁文生. 常用基本不等式的机器证明. 智能系统学报. 2011, 6(5): 377-390, http://lib.cqvip.com/Qikan/Article/Detail?id=39981873.
[12] Yang, Lu, Zhou, Chaochen, Zhan, Naijun, Xia, Bican. Recent advances in program verification through computer algebra. FRONTIERS OF COMPUTER SCIENCE IN CHINAnull. 2010, 4(1): 1-16, http://dx.doi.org/10.1007/s11704-009-0074-7.
[13] 刘武, 杨路, 任萍, 舒航. 缓冲区溢出攻击的分析和一种防卫算法. 计算机应用[J]. 2003, 23(1): 4-6, 
发表著作
(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-计算机软件与理论