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) |