发布时间：2013-09-17 | 来源：
李子明，研究员、中国科学院数学机械化重点实验室副主任
符号计算
研究成果包括：把代数子结式理论推广到了非交换的Ore多项式，设计了计算Ore多项式最大右公因子的模算法和计算最小左公倍式的高效算法，被商用符号计算系统Maple采用；设计了确定有限维微分-差分模所有子模的算法；给出了微分-差分混合情形下相容函数的结构定理和混合超几何项Zeilberger算法终止性的充要条件；给出了超指数函数和超几何项的完整的加法分解，是第四代计算邻差算子算法的主要设计者之一。曾获2006年国际计算机协会符号与代数计算委员会颁发的ISSAC2006杰出论文奖和ISSAC2014杰出poster奖。指导的博士生曾获ISSAC杰出学生论文奖。
【代表性论文】
[1] "On the existence of telescopers for mixed hypergeometric terms", Journal of Symbolic Computation, 68: 1-26, 2015.
[2] "A recursive method for determining the one-dimensional submodules of Laurent-Ore modules", In Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation,pages 220-227, ACM Press, 2006.
[3] "A subresultant theory for Ore polynomials with applications", In Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, pages 132-139, ACM Press, 1998.
