Ziming Li

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 11

Top Topics

Default Theories

Comparative Evaluation

Image Decomposition

Top Venues

ACM Commun. Comput. Algebra

J. Symb. Comput.

Publications

Shaoshi Chen, Hao Du, Yiman Gao, Ziming Li
Reducing Hyperexponential Functions over Monomial Extensions. CoRR (2023)
Hao Du, Yiman Gao, Jing Guo, Ziming Li
Computing Logarithmic Parts by Evaluation Homomorphisms✱. ISSAC (2023)
Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer, Stephen M. Watt
Telescopers for differential forms with one parameter. CoRR (2021)
Hao Du, Jing Guo, Ziming Li, Elaine Wong
An Additive Decomposition in S-Primitive Towers. CoRR (2020)
Hao Du, Jing Guo, Ziming Li, Elaine Wong
An additive decomposition in logarithmic towers and beyond. ISSAC (2020)
Hao Du, Ziming Li
-Difference Case. J. Syst. Sci. Complex. 32 (1) (2019)
Shaoshi Chen, Manuel Kauers, Ziming Li, Yi Zhang
Apparent singularities of D-finite systems. J. Symb. Comput. 95 (2019)
Hao Du, Jing Guo, Ziming Li
An additive decomposition in multiple logarithmic extensions. ACM Commun. Comput. Algebra 53 (3) (2019)
Shaoshi Chen, Hao Du, Ziming Li
Additive Decompositions in Primitive Extensions. CoRR (2018)
Shaoshi Chen, Hao Du, Ziming Li
Additive Decompositions in Primitive Extensions. ISSAC (2018)
Shaoshi Chen, Manuel Kauers, Ziming Li, Yi Zhang
Apparent Singularities of D-finite Systems. CoRR (2017)
Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li
A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. ISSAC (2015)
Shaoshi Chen, Frédéric Chyzak, Ruyong Feng, Guofeng Fu, Ziming Li
On the existence of telescopers for mixed hypergeometric terms. J. Symb. Comput. 68 (2015)
Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li
An Improved Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. CoRR (2015)
Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer
Parallel telescoping and parameterized Picard-Vessiot theory. ISSAC (2014)
Shaoshi Chen, Hui Huang, Ziming Li
Improved Abramov-Petkovšek's Reduction and Creative Telescoping for Hypergeometric Terms. ACM Commun. Comput. Algebra 48 (3/4) (2014)
Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer
Parallel Telescoping and Parameterized Picard-Vessiot Theory. CoRR (2014)
Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li
Complexity of Creative Telescoping for Bivariate Rational Functions CoRR (2013)
Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li, Guoce Xin
Hermite reduction and creative telescoping for hyperexponential functions. ISSAC (2013)
Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li, Guoce Xin
Hermite Reduction and Creative Telescoping for Hyperexponential Functions CoRR (2013)
Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li
On the Structure of Compatible Rational Functions CoRR (2013)
Shaoshi Chen, Frédéric Chyzak, Ruyong Feng, Guofeng Fu, Ziming Li
On the Existence of Telescopers for Mixed Hypergeometric Terms CoRR (2012)
Alin Bostan, Frédéric Chyzak, Ziming Li, Bruno Salvy
Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators CoRR (2012)
Alin Bostan, Frédéric Chyzak, Bruno Salvy, Ziming Li
Fast computation of common left multiples of linear ordinary differential operators. ISSAC (2012)
Ziming Li, Min Wu
Transforming linear functional systems into fully integrable systems. J. Symb. Comput. 47 (6) (2012)
Shaoshi Chen, Ruyong Feng, Guofeng Fu, Ziming Li
On the structure of compatible rational functions. ISSAC (2011)
Alin Bostan, Frédéric Chyzak, Ziming Li, Bruno Salvy
Fast computation of common left multiples of linear ordinary differential operators. ACM Commun. Comput. Algebra 45 (1/2) (2011)
Guofeng Fu, Miroslav Halás, Ülle Kotta, Ziming Li
Some remarks on Kähler differentials and ordinary differentials in nonlinear control theory. Syst. Control. Lett. 60 (9) (2011)
Ziming Li, Huaifu Wang
A criterion for the similarity of length-two elements in a noncommutative PID. J. Syst. Sci. Complex. 24 (3) (2011)
Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li
Complexity of creative telescoping for bivariate rational functions. ISSAC (2010)
Alin Bostan, Shaoshi Chen, Frédéric Chyzak, Ziming Li
Rational-functions telescopers: blending creative telescoping with hermite reduction. ACM Commun. Comput. Algebra 44 (1/2) (2010)
Miroslav Halás, Ülle Kotta, Ziming Li, Huaifu Wang, Chunming Yuan
Submersive rational difference systems and their accessibility. ISSAC (2009)
Ziming Li, Martin Ondera, Huaifu Wang
Simplifying skew fractions modulo differential and difference relations. ACM Commun. Comput. Algebra 42 (3) (2008)
Ziming Li, Min Wu, Dabin Zheng
Testing linear dependence of hyperexponential elements. ACM Commun. Comput. Algebra 41 (1-2) (2007)
Ziming Li, Michael F. Singer, Min Wu, Dabin Zheng
A recursive method for determining the one-dimensional submodules of Laurent-Ore modules. ISSAC (2006)
Ziming Li, Dabin Zheng
Determining Whether a Multivariate Hyperexponential Function is Algebraic. J. Syst. Sci. Complex. 19 (3) (2006)
Ziming Li, Michael F. Singer, Min Wu, Dabin Zheng
A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules CoRR (2006)
Ziming Li, Dabin Zheng
Computation with hyperexponential functions. SIGSAM Bull. 39 (3) (2005)
Manuel Bronstein, Ziming Li, Min Wu
Picard--Vessiot extensions for linear functional systems. ISSAC (2005)
George Labahn, Ziming Li
Hyperexponential solutions of finite-rank ideals in orthogonal ore rings. ISSAC (2004)
Keith O. Geddes, Ha Q. Le, Ziming Li
Differential rational normal forms and a reduction algorithm for hyperexponential func. ISSAC (2004)
Ziming Li, Fritz Schwarz, Serguei P. Tsarev
Factoring systems of linear PDEs with finite-dimensional solution spaces. J. Symb. Comput. 36 (3-4) (2003)
Ziming Li, Fritz Schwarz, Serguei P. Tsarev
Factoring zero-dimensional ideals of linear partial differential operators. ISSAC (2002)
Ziming Li, Fritz Schwarz
Rational Solutions of Riccati-like Partial Differential Equations. J. Symb. Comput. 31 (6) (2001)
Ziming Li
A Subresultant Theory for Ore Polynomials with Applications. ISSAC (1998)
Ziming Li, István Nemes
A Modular Algorithm for Computing Greatest Common Right Divisors of Ore Polynomials. ISSAC (1997)
Ziming Li
Mechanical Theorem Proving in the Local Theory of Surfaces. Ann. Math. Artif. Intell. 13 (1-2) (1995)
Kazuhiro Yokoyama, Ziming Li, István Nemes
Finding Roots of Unity Among Quotients of the Roots of an Integral Polynomial. ISSAC (1995)