李永彬，男，汉族，群众，博士，副教授，硕士生导师

教育经历

1985-1987 四川师范大学 本科

1987-1990 广西大学 硕士

1998-2001 四川大学 博士

工作经历

1990-1994 广西师范大学 讲师

1994-2004 四川交通职业技术大学 副教授

2004-2005 四川师范大学 副教授

2005-2026 电子科技术大学 副教授、硕士生导师

2026-至今 中国石油大学（北京）克拉玛依校区 副教授

讲授课程

1.本科：《高等代数》、《高等代数与几何I，II》、《线性代数与空间解析几何》、《抽象代数基础》、《初等数论》、《微积分》等

2.研究生：《代数学》、《计算机代数及应用》、《数论》.

研究方向

1. 机器证明

2. 计算机代数

科研项目

1.国家973项目子课题：实几何与实代数的高效能算法，2007/09-2009/12，参加

2. 国家自然科学基金：基于数学机械化方法的区间参数不确定系统稳定性研究，2011/01-2013/12，参加

3. 四川省学术和技术带头人培养资金项目：正则GCD理论与算法优，2012/01-2013/12，主持

代表性论文

1.Yongbin Li, Applications of the theory of weakly nondegenerate conditions to zero decomposition for polynomial systems, Journal of Symbolic Computation, 2004, 38(1): 815-832

2.Yongbin Li, A New Approach for Constructing Subresultants. Journal of Applied Mathematics and Computation, 2006， 183:471-476

3. 张景中，李永彬. 几何定理机器证明三十年. 系统科学与数学 2009， 29（9），1155-1168

4.Yongbin Li,Fu, Q. and Deng,R., Symbolic computation on the partition lattice of an n-set, In: Journal of Symbolic Computation, 95:185-201, 2019.

联系方式

E-mail：yongbinli@uestc.edu.cn