Search the dblp DataBase

Publications of Author

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