Research Interests: Computer Algebra,
Differential and Difference
Algebras 
Education:
 02/9204/96: Ph.D., RISCLinz, University of
Linz, Austria
(dissertation.ps)
 09/8507/88: M. Sc., Mathematics,
Institute of Systems Science, Academia Sinica, China
 09/8007/85: B. Sc., Applied Mathematics,
Tsinghua
University, Beijing, China

Positions:
 04/05present: Professor,
AMSS,
Academia Sinica, Beijing, China
 12/9903/05: Associate Professor,
AMSS,
Academia Sinica, Beijing, China
 11/0102/04: Research Associate, SCG, School of Computer Science, Univ. of Waterloo,
Canada
 09/9712/99: PostDoctoral Fellow,
Institut SCAI , GMD, St. Augustin, Germany
 06/9608/97: Associate Professor, Institute
of Systems Science, Academia Sinica, Beijing, China
 09/8801/92: Assistant Professor,
Department
of Applied Mathematics, Tsinghua University, Beijing, China

Selected Publications:
 On the existence of telescopers for mixed hypergeometric terms
(with S. Chen, F. Chyzak, R. Feng and G. Fu). Journal of Symbolic Computation, 68: 126,
2015.
 A modified AbramovPetkovsek reduction and creative telescoping for hypergeometric terms
(with S. Chen, H. Huang, and M. Kauers). In Proceedings of the 2015
International Symposium on Symbolic and Algebraic
Computation, pages 117124, ACM Press, 2015.
 Parallel telescoping and parameterized PicardVessiot theory
(with S. Chen, R. Feng, and M.F. Singer). In Proceedings of the 2014
International Symposium on Symbolic and Algebraic
Computation, pages 99106, ACM Press, 2014.
 Hermite reduction and creative telescoping for hyperexponential functions
(with A. Bostan, S. Chen, F. Chyzak, and G. Xin). In Proceedings of the 2013
International Symposium on Symbolic and Algebraic
Computation, pages 7784, ACM Press, 2013.
 Transforming linear functional systems into fully integrable systems
(with M. Wu). Journal of Symbolic Computation, 47: 711732,
2012.
 Fast computation of common left multiples of linear ordinary differential operators
(with A. Bostan, F. Chyzak, and B. Salvy). In Proceedings of the 2012
International Symposium on Symbolic and Algebraic
Computation, pages 99106, ACM Press, 2012.
 On the structure of compatible rational functions
(with S. Chen, G. Fu and R. Feng). In Proceedings of the 2011
International Symposium on Symbolic and Algebraic
Computation, pages 9198, ACM Press, 2011.
 Some remarks on Kahler differentials and ordinary differentials in nonlinear control theory
(with G. Fu, M. Halas, and U. Kotta). In System and Control Letters, vol. 60, pages 699703, 2011.
 Complexity of creative telescoping for bivariate rational functions
(with A. Bostan, S. Chen and F. Chyzak). In Proceedings of the 2010
International Symposium on Symbolic and Algebraic
Computation, pages 203210, ACM Press, 2010.
 Submersive rational difference systems and their accessibility
(with M.Halas, U. Kotta, H. Wang and C. Yuan). In Proceedings of the 2009
International Symposium on Symbolic and Algebraic
Computation, pages 175182, ACM Press, 2009.
 Testing linear dependence of hyperexponential elements (with M. Wu and D. Zheng). ACM Communications in Computer Algebra, 41(1),
311, 2007.
 A recursive method for determining the onedimensional submodules of LaurentOre modules
(with M.F. Singer, M. Wu and D. Zheng). In Proceedings of the 2006
International Symposium on Symbolic and Algebraic
Computation, pages 220227, ACM Press, 2006.
 Univariate
Ore polynomial rings in computer algebra (with S. Abramov
and H. Le). Journal of Mathematical Sciences, 131(5),
58855903, 2005.
 PicardVessiot extensions
for linear functional systems (with M. Bronstein and M. Wu). In Proceedings of the 2005
International Symposium on Symbolic and Algebraic
Computation, pages 6875, ACM Press, 2005.
 Differential rational normal forms and a reduction algorithm
for hyperexponential functions (with K. Geddes and H. Le). In Proceedings of the
2004
International Symposium on Symbolic and Algebraic
Computation, pages 183190, ACM Press, 2004
 Hyperexponential solutions of finiterank ideals in orthogonal
Ore rings
(with G. Labahn). In Proceedings of the 2004
International Symposium on Symbolic and Algebraic
Computation, pages 213220, ACM Press, 2004
 Factoring systems of linear PDEs with finitedimensional solution spaces
(with F. Schwarz and S. Tsarev). Journnal of Symbolic
Computation. 36(34), pages 443471, 2003.
 Factoring zerodimensional ideals of linear partial differential operators
(with F. Schwarz and S. Tsarev). In Proceedings of the 2002
International Symposium on Symbolic and Algebraic
Computation, pages 168175, ACM Press, 2002
 Rational solutions of
Riccatilike partial differential equations
(with F. Schwarz). Journal of Symbolic Computation, 31(6): 691716,
2001.
 A subresultant theory for Ore polynomials with applications. In Proceedings of the
1998 International Symposium on Symbolic and Algebraic
Computation, pages 132139, ACM Press, 1998.
 A modular algorithm for computing greatest common right
divisors of Ore polynomials (with I. Nemes). In Proceedings of the
1997
International Symposium on Symbolic and Algebraic
Computation, pages 282289, ACM Press, 1997.
 Finding roots of unity
among quotients of the roots of an integral polynomial (with
K. Yokoyama and I. Nemes). In Proceedings of the 1995
International Symposium on Symbolic and Algebraic
Computation, pages 8589, ACM Press, 1995.
 Mechanical
theorem proving of the local theory of surfaces. Annals of
Artificial Intelligence, 13, 2546, 1995.

Teaching:
 Linear Algebra (Autumn 2014Spring 2015) (线性代数)
at University of Chinese Academy of Sciences.
 Linear Algebra (Autumn 2016Spring 2017) (线性代数)
at University of Chinese Academy of Sciences.
 