基本信息

李子明 男 博导 中国科学院数学与系统科学研究院
电子邮件: zmli@mmrc.iss.ac.cn
通信地址: 北京中关村东路55号中科院数学与系统科学研究院
邮政编码: 100190
电子邮件: zmli@mmrc.iss.ac.cn
通信地址: 北京中关村东路55号中科院数学与系统科学研究院
邮政编码: 100190
招生信息
招生专业
070101-基础数学070104-应用数学
招生方向
符号计算符号计算
教育背景
1992-02--1996-05 RISC-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, 编委
2011-11-01-2016-11-01,中国数学会计算机数学专业委员会主席, 主席
2006-05-01-今,Journal of Symbolic Computation, 编委
教授课程
线性代数B
专利与奖励
奖励信息
(1) 唐立新教学名师奖, , 院级, 2020(2) 2014年 ISSAC Distinguished Poster Award, 其他, 2014(3) 中科院数学院突出成果奖, 研究所(学校), 2014(4) 朱李月华奖教金, 院级, 2011(5) 中科院数学院优秀教师奖, , 研究所(学校), 2008(6) ISSAC 杰出论文奖, , 其他, 2006(7) 中科院数学院突出科研成果奖, , 研究所(学校), 2005
出版信息
发表论文
(1) Additive Decompositions in Logarithmic Towers and Beyond, Proc. of ISSAC, 2020, 第 3 作者(2) Apparent Singularities of D-finite Systems, Journal of Symbolic Computation, 2019, 第 3 作者(3) The Ore-Sato Theorem and Shift Exponents in the q-Difference Case, Journal of Systems Sciences and Complexity, 2019, 第 2 作者(4) Additive Decompositions in Primitive Extensions, Proc. of ISSAC, 2018, 第 3 作者(5) A q-analogue of modified Abramov-Petkovsek reduction, Prof. of WWCA, 2018, 第 3 作者(6) A modified Abramov-Petkovsek reduction and creative telescoping for hypergeometric terms, Proc. of ISSAC, 2015, 第 4 作者(7) On the existence of telescopers for mixed hypergeometric terms, Journal of Symbolic Computation, 2015, 通讯作者(8) Parallel telescoping and parameterized Picard-Vessiot theory, Proc. of ISSAC, 2014, 第 3 作者(9) Hermite reduction and creative telescoping for hyperexponential functions, Proc. of ISSAC, 2013, 第 4 作者(10) Fast computation of common left multiples of linear ordinary differential operators, Proc. of ISSAC, 2012, 第 3 作者(11) Transforming linear functional systems into fully integrable systems, Journal of Symbolic Computation, 2012, 第 1 作者(12) Some remarks on Kahler differentials and ordinary differentials in nonlinear control theory, System and Control Letters, 2011, 第 4 作者(13) On the structure of compatible rational functions, Proc. of ISSAC, 2011, 第 4 作者(14) Complexity of creative telescoping for bivariate rational functions, Proc. of ISSAC, 2010, 第 4 作者(15) Submersive rational difference systems and their accessibility, Proc. of ISSAC, 2009, 第 3 作者(16) Testing linear dependence of hyperexponential elements, ACM Communications in Computer Algebra, 2007, 第 1 作者(17) A recursive method for determining the one-dimensional submodules of Laurent-Ore modules, Proc. of ISSAC, 2006, 第 1 作者(18) Picard-Vessiot extensions for linear functional systems, Proc. of ISSAC, 2005, 第 2 作者(19) Univariate Ore polynomial rings in computer algebra, Journal of Mathematical Sciences, 2005, 第 3 作者(20) Hyperexponential solutions of finite-rank ideals in orthogonal Ore rings, Proc. of ISSAC, 2004, 第 2 作者(21) Differential rational normal forms and a reduction algorithm for hyperexponential functions, Proc. of ISSAC, 2004, 第 3 作者(22) Factoring systems of linear PDEs with finite-dimensional solution spaces, Journal of Symbolic Computation, 2003, 第 1 作者(23) Factoring zero-dimensional ideals of linear partial differential operators, Proc. of ISSAC, 2002, 第 1 作者(24) Rational solutions of Riccati-like partial differential equations, Journal of Symbolic Computation, 2001, 第 1 作者(25) A subresultant theory for Ore polynomials with applications, Proc. of ISSAC, 1998, 第 1 作者(26) A modular algorithm for computing greatest common right divisors of Ore polynomials, Proc. of ISSAC, 1997, 第 1 作者(27) Mechanical theorem proving of the local theory of surfaces., Annals of Artificial Intelligence, 1995, 第 1 作者(28) Finding roots of unity among quotients of the roots of an integral polynomial, Proc. of ISSAC, 1995, 第 2 作者
发表著作
( 1 ) 计算机代数引论, 清华大学出版社, 2016-08, 第 3 作者
科研活动
参与会议
(1)Determining Constant Residues by Evaluation 2021-07-01