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,清华大学应用数学系, 学士

2011-11-01-2016-11-01,中国数学会计算机数学专业委员会主席, 主席
2006-05-01-今,Journal of Symbolic Computation, 编委

线性代数I-B
线性代数II-B
线性代数B
线性代数II习题课-B02-5
计算代数几何引论
线性代数Ⅱ-B
计算代数几何的若干前沿问题
计算代数几何

   

（1） 本科优秀课程, 研究所（学校）, 2023
（2） 唐立新教学名师奖, , 院级, 2020
（3） 2014年 ISSAC Distinguished Poster Award, 其他, 2014
（4） 中科院数学院突出成果奖, 研究所（学校）, 2014
（5） 朱李月华奖教金, 院级, 2011
（6） 中科院数学院优秀教师奖, , 研究所（学校）, 2008
（7） ISSAC 杰出论文奖, , 其他, 2006
（8） 中科院数学院突出科研成果奖, , 研究所（学校）, 2005

   

（1） 约化函数项扩展中的超指数函数, Reducing hyperexponential functions over monomial extensions, Journal of Systems Science and Complexity, 2024, 第 4 作者
（2） Computing Logarithmic Parts by Evaluation Homomorphisms, ISSAC 2023, 2023, 第 1 作者
（3） Additive Decompositions in Logarithmic Towers and Beyond, Proc. of ISSAC, 2020, 第 1 作者
（4） The Ore-Sato Theorem and Shift Exponents in the q-Difference Case, The Ore-Sato Theorem and Shift Exponents in the q-Difference Case, 系统科学与复杂性学报(英文版), 2019, 第 2 作者
（5） Apparent singularities of D-finite systems, JOURNAL OF SYMBOLIC COMPUTATION, 2019, 第 3 作者
（6） A q-analogue of modified Abramov-Petkovsek reduction, Prof. of WWCA, 2018, 第 1 作者
（7） Additive Decompositions in Primitive Extensions, ISSAC'18: PROCEEDINGS OF THE 2018 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2018, 第 3 作者
（8） A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms, PROCEEDINGS OF THE 2015 ACM ON INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC'15), 2015, 第 4 作者
（9） On the existence of telescopers for mixed hypergeometric terms, JOURNAL OF SYMBOLIC COMPUTATION, 2015, 第 5 作者
（10） Parallel telescoping and parameterized Picard-Vessiot theory, Proc. ISSAC2014, 2014, 第 1 作者
（11） Transforming linear functional systems into fully integrable systems, JOURNAL OF SYMBOLIC COMPUTATION, 2012, 第 11 作者
（12） Some remarks on Kahler differentials and ordinary differentials in nonlinear control theory, SYSTEMS & CONTROL LETTERS, 2011, 第 4 作者
（13） Submersive Rational Difference Systems and Their Accessibility, ISSAC2009: PROCEEDINGS OF THE 2009 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2009, 第 3 作者
（14） Testing linear dependence of hyperexponential elements, ACM COMMUNICATIONS IN COMPUTER ALGEBRA, 2007, 第 1 作者
（15） Picard-Vessiot extensions for linear functional systems, Proc. of ISSAC, 2005, 第 1 作者
（16） Univariate Ore Polynomial Rings in Computer Algebra, JOURNAL OF MATHEMATICAL SCIENCES,, 2005, 
（17） Differential rational normal forms and a reduction algorithm for hyperexponential functions, Proc. of ISSAC, 2004, 第 1 作者
（18） Hyperexponential solutions of finite-rank ideals in orthogonal Ore rings, Proc. of ISSAC, 2004, 第 1 作者
（19） Factoring systems of linear PDEs with finite-dimensional solution spaces, JOURNAL OF SYMBOLIC COMPUTATION, 2003, 
（20） Factoring zero-dimensional ideals of linear partial differential operators, Proc. of ISSAC, 2002, 第 1 作者
（21） Rational Solutions of Riccati-like Partial Differential Equations, JOURNAL OF SYMBOLIC COMPUTATION, 2001, 
（22） A subresultant theory for Ore polynomials with applications, Proc. of ISSAC, 1998, 第 1 作者
（23） A modular algorithm for computing greatest common right divisors of Ore polynomials, Proc. of ISSAC, 1997, 第 1 作者
（24） Finding roots of unity among quotients of the roots of an integral polynomial, Proc. of ISSAC, 1995, 第 1 作者
（25） Mechanical theorem proving of the local theory of surfaces., Annals of Artificial Intelligence, 1995, 第 1 作者
（26） Complexity of Creative Telescoping for Bivariate Rational Functions, 第 4 作者
（27） Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators, 第 3 作者
（28） Hermite Reduction and Creative Telescoping for Hyperexponential Functions, 第 4 作者
（29） On the Structure of Compatible Rational Functions, 第 4 作者
（30） A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules, 第 1 作者

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

   

（ 1 ） 计算微分与差分代数, 参与, 中国科学院计划, 2020-02--2022-12

（1）Computing Logarithmic Parts by Evaluation Homomorphisms   2023-07-25
（2）Additive Decompositions in Symbolic Integration   全国计算机数学年会   2023-06-15
（3）Determining Logarithmic Parts by Evaluation   2022-08-20