基本信息
杨路 男 博导 中国科学院成都计算机应用研究所
电子邮件: luyang@casit.ac.cn
通信地址: 成都市人民南路四段九号
邮政编码: 610041
电子邮件: luyang@casit.ac.cn
通信地址: 成都市人民南路四段九号
邮政编码: 610041
招生信息
招生专业
081202-计算机软件与理论070104-应用数学
招生方向
计算机自动推理与符号计算数学机械化及其应用
工作经历
工作简历
1992-07~1996-07,中科院成都计算所, 主任1992-07~2011-07,中科院成都计算机应用研究所, 研究员1986-07~1991-07,中国科学院成都数理科学研究室, 研究员1979-07~1985-07,中国科学技术大学, 讲师
专利与奖励
专利成果
[1] 王晓京, 万武南, 宋春雨, 刘旸, 吴玲玲, 孙宣东, 曹晟, 粟伟, 张景中, 杨路. 基于图形码子母印章族信息关联机制的软证件防伪方法. CN: CN1570962A, 2005-01-26.
出版信息
发表论文
[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, 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.[8] 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.[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] 杨路, 郁文生, 袁如意. 一类积分不等式的机器判定. 中国科学:信息科学[J]. 2011, 41(1): 48-65, http://lib.cqvip.com/Qikan/Article/Detail?id=36686422.[11] 杨路, 郁文生. 常用基本不等式的机器证明. 智能系统学报[J]. 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 CHINA[J]. 2010, 4(1): 1-16, http://dx.doi.org/10.1007/s11704-009-0074-7.[13] 刘武, 杨路, 任萍, 舒航. 缓冲区溢出攻击的分析和一种防卫算法. 计算机应用[J]. 2003, 23(1): 4-6, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=1338092&detailType=1.
发表著作
(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-计算机软件与理论