基本信息
李子明男博导中国科学院数学与系统科学研究院
电子邮件： zmli@mmrc.iss.ac.cn
通信地址： 北京中关村东路55号中科院数学与系统科学研究院
邮政编码： 100190

研究领域

招生信息
招生专业070101-基础数学
070104-应用数学

招生方向符号计算
符号计算


教育背景1992-02--1996-05RISC-Linz, Univ. of Linz, Austria博士
1985-09--1988-07中科院系统所硕士
1980-09--1985-07清华大学应用数学系学士

学历
学位

工作经历
工作简历2005-03~2016-08,中科院数学与系统科学研究院,研究员
2004-03~2005-03,中科院数学与系统科学研究院,副研究员
2001-11~2004-03,SCG, School of Computer Science, Univ. of Waterloo, Canada,博士后
1999-12~2001-11,中科院数学与系统科学研究院,副研究员
1997-09~1999-12,SCAI Institut, GMD, St. Augustiin, Germany,博士后
1996-05~1997-09,中科院系统所,副研究员
1992-02~1996-05,RISC-Linz, Univ. of Linz, Austria,博士
1988-09~1992-01,清华大学应用数学系,助教
1985-09~1988-07,中科院系统所,硕士
1980-09~1985-07,清华大学应用数学系,学士

社会兼职2014-04-01-今,系统科学与数学, 副主编
2011-11-01-2016-11-01,中国数学会计算机数学专业委员会主席, 主席
2006-05-01-今,Journal of Symbolic Computation, 编委


教授课程线性代数B


专利与奖励
奖励信息（1） 2014年 ISSAC Distinguished Poster Award, 其他, 2014
（2） 中科院数学院突出成果奖, 研究所（学校）, 2014
（3） 朱李月华奖教金, 院级, 2011
（4） 中科院数学院优秀教师奖, , 研究所（学校）, 2008
（5） ISSAC 杰出论文奖, , 其他, 2006
（6） 中科院数学院突出科研成果奖, , 研究所（学校）, 2005

专利成果

出版信息
发表论文（1）The Ore-Sato Theorem and Shift Exponents in the q-Difference Case,Journal of Systems Sciences and Complexity,2019-05,第2作者
（2）Apparent Singularities of D-finite Systems,Journal of Symbolic Computation,2019-04,第3作者
（3）A q-analogue of modified Abramov-Petkovsek reduction,Prof. of WWCA,2018-03,第3作者
（4）Additive Decompositions in Primitive Extensions,Proc. of ISSAC,2018,第3作者
（5）A modified Abramov-Petkovsek reduction and creative telescoping for hypergeometric terms,Proc. of ISSAC,2015,第4作者
（6）On the existence of telescopers for mixed hypergeometric terms,Journal of Symbolic Computation,2015,第11作者
（7）Parallel telescoping and parameterized Picard-Vessiot theory,Proc. of ISSAC,2014,第3作者
（8）Hermite reduction and creative telescoping for hyperexponential functions,Proc. of ISSAC,2013,第4作者
（9）Fast computation of common left multiples of linear ordinary differential operators,Proc. of ISSAC,2012,第3作者
（10）Transforming linear functional systems into fully integrable systems,Journal of Symbolic Computation,2012,第1作者
（11）Some remarks on Kahler differentials and ordinary differentials in nonlinear control theory,System and Control Letters,2011,第4作者
（12）On the structure of compatible rational functions,Proc. of ISSAC,2011,第4作者
（13）Complexity of creative telescoping for bivariate rational functions,Proc. of ISSAC,2010,第4作者
（14）Submersive rational difference systems and their accessibility,Proc. of ISSAC,2009,第3作者
（15）Testing linear dependence of hyperexponential elements,ACM Communications in Computer Algebra,2007,第1作者
（16）A recursive method for determining the one-dimensional submodules of Laurent-Ore modules,Proc. of ISSAC,2006,第1作者
（17）Picard-Vessiot extensions for linear functional systems,Proc. of ISSAC,2005,第2作者
（18）Univariate Ore polynomial rings in computer algebra,Journal of Mathematical Sciences,2005,第3作者
（19）Hyperexponential solutions of finite-rank ideals in orthogonal Ore rings,Proc. of ISSAC,2004,第2作者
（20）Differential rational normal forms and a reduction algorithm for hyperexponential functions,Proc. of ISSAC,2004,第3作者
（21）Factoring systems of linear PDEs with finite-dimensional solution spaces,Journal of Symbolic Computation,2003,第1作者
（22）Factoring zero-dimensional ideals of linear partial differential operators,Proc. of ISSAC,2002,第1作者
（23）Rational solutions of Riccati-like partial differential equations,Journal of Symbolic Computation,2001,第1作者
（24）A subresultant theory for Ore polynomials with applications,Proc. of ISSAC,1998,第1作者
（25）A modular algorithm for computing greatest common right divisors of Ore polynomials,Proc. of ISSAC,1997,第1作者
（26）Mechanical theorem proving of the local theory of surfaces.,Annals of Artificial Intelligence,1995,第1作者
（27）Finding roots of unity among quotients of the roots of an integral polynomial,Proc. of ISSAC,1995,第2作者

发表著作（ 1 ） 计算机代数引论,清华大学出版社,2016-08,第3作者


科研活动
科研项目
参与会议

合作情况
项目协作单位

指导学生