Ziming Li

发表

Univariate Ore Polynomial Rings in Computer Algebra

H. Q. Le, S. Abramov, Ziming Li, 2005 .

A modular algorithm for computing greatest common right divisors of Ore polynomials

Ziming Li, István Nemes, Ziming Li, 1997, ISSAC.

Lecture Notes on Decompositions of Linear Ode's

Ziming Li, 2000 .

DETERMINANT FORMULAS FOR INHOMOGENEOUS LINEAR DIFFERENTIAL, DIFFERENCE AND Q-DIFFERENCE EQUATIONS

Ziming Li, 2000 .

S C ] 7 F eb 2 01 8 Additive Decompositions in Primitive Extensions ∗

Ziming Li, Shaoshi Chen, Hao Du, 2018 .

An Additive Decomposition in S-Primitive Towers

Ziming Li, Hao Du, Jing Guo, 2020, ArXiv.

Mechanical theorem proving in the local theory of surfaces

Ziming Li, Ziming Li, 1995, Annals of Mathematics and Artificial Intelligence.

Cluster structure of C11 investigated with a breakup reaction

Z. Bai, Wei Jiang, Ziming Li, 2023, Physical Review C.

Fast computation of common left multiples of linear ordinary differential operators

B. Salvy, A. Bostan, Ziming Li, 2011, ACCA.

A subresultant theory for Ore polynomials with applications

Ziming Li, Ziming Li, 1998, ISSAC '98.

ON SOLUTIONS OF LINEAR FUNCTIONAL SYSTEMS AND FACTORIZATION OF LAURENT–ORE MODULES

Ziming Li, Ziming Li, Min Wu, 2007 .

A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms

Ziming Li, Manuel Kauers, Shaoshi Chen, 2015, ISSAC.

Hermite reduction and creative telescoping for hyperexponential functions

Ziming Li, Shaoshi Chen, Alin Bostan, 2013, ISSAC '13.

Complexity of creative telescoping for bivariate rational functions

Ziming Li, Shaoshi Chen, Alin Bostan, 2010, ISSAC.

Rational Solutions of Riccati-like Partial Differential Equations

Ziming Li, Fritz Schwarz, F. Schwarz, 2001, J. Symb. Comput..

Determining Whether a Multivariate Hyperexponential Function is Algebraic

Ziming Li, Dabin Zheng, Ziming Li, 2006, Journal of Systems Science and Complexity.

Testing linear dependence of hyperexponential elements

Ziming Li, Dabin Zheng, Min Wu, 2007, ACCA.

Picard--Vessiot extensions for linear functional systems

Ziming Li, Manuel Bronstein, Min Wu, 2005, ISSAC.

Hyperexponential solutions of finite-rank ideals in orthogonal ore rings

Ziming Li, George Labahn, Ziming Li, 2004, ISSAC '04.

Differential rational normal forms and a reduction algorithm for hyperexponential func

Keith O. Geddes, Ziming Li, Ha Q. Le, 2004, ISSAC '04.

Lecture Notes on Computer Algebra

Ziming Li, Ziming Li, 2005 .

Finding roots of unity among quotients of the roots of an integral polynomial

Kazuhiro Yokoyama, Ziming Li, István Nemes, 1995, ISSAC '95.

An additive decomposition in logarithmic towers and beyond

Ziming Li, Jing Guo, Hao Du, 2020, ISSAC.

Factoring systems of linear PDEs with finite-dimensional solution spaces

Ziming Li, Fritz Schwarz, Serguei P. Tsarev, 2003, J. Symb. Comput..

Factoring zero-dimensional ideals of linear partial differential operators

Ziming Li, Fritz Schwarz, Serguei P. Tsarev, 2002, ISSAC '02.

S C ] 2 M ay 2 01 7 Apparent Singularities of D-finite Systems

Ziming Li, Yi Zhang, Shaoshi Chen, 2018 .

On the existence of telescopers for mixed hypergeometric terms

Ziming Li, Shaoshi Chen, Ruyong Feng, 2012, J. Symb. Comput..

Parallel telescoping and parameterized Picard-Vessiot theory pdf

Ziming Li, Shaoshi Chen, Michael F. Singer, 2014, ISSAC.

Apparent Singularities of D-finite Systems pdf

Yi Zhang, Ziming Li, Manuel Kauers, 2017, J. Symb. Comput..

Transforming linear functional systems into fully integrable systems

Ziming Li, Min Wu, Ziming Li, 2012, J. Symb. Comput..

Improved Abramov-Petkovšek's Reduction and Creative Telescoping for Hypergeometric Terms

Ziming Li, Hui Huang, Manuel Kauers, 2015, ACCA.

Hyperexponential Solutions of Finite-rank Ideals in Orthogonal Ore Algebras ( the General Case )

Ziming Li, G. Labahn, 2004 .