Ziming Li

Key Laboratory of Mathematics Mechanization (KLMM)
Academy of Mathematics and System Sciences (AMSS), Academia Sinica
East Road,  No. 55,  Zhong Guan Cun, Beijing 100080, China

Phone: +86 10 62541834 

Fax: +86 10 62630706  

E-mail: zmli@mmrc.iss.ac.cn

• 02/92-04/96:  Ph.D., RISC-Linz, University of Linz, Austria (dissertation.ps)
• 09/85-07/88:  M. Sc., Mathematics, Institute of Systems Science, Academia Sinica, China
• 09/80-07/85:  B. Sc., Applied Mathematics,  Tsinghua University,  Beijing, China

• 04/05-present: Professor,  AMSS, Academia Sinica, Beijing, China
• 12/99-03/05: Associate Professor, AMSS, Academia Sinica, Beijing, China
• 11/01-02/04: Research Associate, SCG, School of Computer Science, Univ. of Waterloo, Canada
• 09/97-12/99: Post-Doctoral Fellow, Institut SCAI , GMD, St. Augustin, Germany 
• 06/96-08/97: Associate Professor, Institute of Systems Science, Academia Sinica, Beijing, China
• 09/88-01/92: Assistant Professor, Department of Applied Mathematics, Tsinghua University, Beijing, China

1. A recursive method for determining the one-dimensional submodules of Laurent-Ore modules (with M.F. Singer, M. Wu and D. Zheng). In Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation,  pages 220-227,  ACM Press, 2006. 
2. Univariate Ore polynomial rings in computer algebra (with S. Abramov and H. Le). Journal of Mathematical Sciences, 131(5), 5885-5903, 2005.
3. Picard-Vessiot extensions for linear functional systems (with M. Bronstein and M. Wu). In Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, pages 68-75, ACM Press, 2005. 
4. 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 183-190,  ACM Press, 2004 
5. Hyperexponential solutions of finite-rank ideals in orthogonal Ore rings (with G. Labahn). In Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation, pages 213-220,  ACM Press, 2004 
6. Factoring systems of linear PDEs with finite-dimensional solution spaces (with F. Schwarz and S. Tsarev). Journnal of  Symbolic Computation.  36(3-4), pages 443-471,  2003.
7. Factoring zero-dimensional 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 168-175,  ACM Press, 2002
8. Rational solutions of Riccati-like partial differential equations (with F. Schwarz). Journal of Symbolic Computation, 31(6): 691-716, 2001.
9. 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.
10. 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 282-289,  ACM Press, 1997.
11. 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 85-89,  ACM Press, 1995.
12. Mechanical theorem proving of the local theory of surfaces. Annals of Artificial Intelligence, 13, 25-46, 1995.