| 2006 |
| 12 | EE | Ziming Li,
Michael F. Singer,
Min Wu,
Dabin Zheng:
A recursive method for determining the one-dimensional submodules of Laurent-Ore modules.
ISSAC 2006: 220-227 |
| 11 | EE | Ziming Li,
Michael F. Singer,
Min Wu,
Dabin Zheng:
A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules
CoRR abs/cs/0604084: (2006) |
| 2005 |
| 10 | EE | Manuel Bronstein,
Ziming Li,
Min Wu:
Picard--Vessiot extensions for linear functional systems.
ISSAC 2005: 68-75 |
| 2004 |
| 9 | EE | Keith O. Geddes,
Ha Q. Le,
Ziming Li:
Differential rational normal forms and a reduction algorithm for hyperexponential func.
ISSAC 2004: 183-190 |
| 8 | EE | George Labahn,
Ziming Li:
Hyperexponential solutions of finite-rank ideals in orthogonal ore rings.
ISSAC 2004: 213-220 |
| 2003 |
| 7 | EE | Ziming Li,
Fritz Schwarz,
Serguei P. Tsarev:
Factoring systems of linear PDEs with finite-dimensional solution spaces.
J. Symb. Comput. 36(3-4): 443-471 (2003) |
| 2002 |
| 6 | EE | Ziming Li,
Fritz Schwarz,
Serguei P. Tsarev:
Factoring zero-dimensional ideals of linear partial differential operators.
ISSAC 2002: 168-175 |
| 2001 |
| 5 | | Ziming Li,
Fritz Schwarz:
Rational Solutions of Riccati-like Partial Differential Equations.
J. Symb. Comput. 31(6): 691-716 (2001) |
| 1998 |
| 4 | EE | Ziming Li:
A Subresultant Theory for Ore Polynomials with Applications.
ISSAC 1998: 132-139 |
| 1997 |
| 3 | | Ziming Li,
István Nemes:
A Modular Algorithm for Computing Greatest Common Right Divisors of Ore Polynomials.
ISSAC 1997: 282-289 |
| 1995 |
| 2 | EE | Kazuhiro Yokoyama,
Ziming Li,
István Nemes:
Finding Roots of Unity Among Quotients of the Roots of an Integral Polynomial.
ISSAC 1995: 85-89 |
| 1 | | Ziming Li:
Mechanical Theorem Proving in the Local Theory of Surfaces.
Ann. Math. Artif. Intell. 13(1-2): 25-46 (1995) |