Ziming Li

Orcid: 0000-0003-0964-6724

Affiliations:

Chinese Academy of Sciences, Academy of Mathematics and Systems Science, Key Laboratory of Mathematics Mechanization, Beijing, China
University of Chinese Academy of Sciences, School of Mathematical Sciences, Beijing, China
Johannes Kepler University, Linz, Austria (PhD 1996)

According to our database¹, Ziming Li authored at least 38 papers between 1995 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Reducing Hyperexponential Functions over Monomial Extensions.

[BibT_eX]

[DOI]

CoRR, 2023

Computing Logarithmic Parts by Evaluation Homomorphisms✱.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

2021

Telescopers for differential forms with one parameter.

[BibT_eX]

[DOI]

CoRR, 2021

2020

An Additive Decomposition in S-Primitive Towers.

[BibT_eX]

[DOI]

CoRR, 2020

An additive decomposition in logarithmic towers and beyond.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019

Apparent singularities of D-finite systems.

[BibT_eX]

[DOI]

J. Symb. Comput., 2019

The Ore-Sato Theorem and Shift Exponents in the <i>q</i>-Difference Case.

[BibT_eX]

[DOI]

Hao Du

Ziming Li

J. Syst. Sci. Complex., 2019

An additive decomposition in multiple logarithmic extensions.

[BibT_eX]

[DOI]

Hao Du

Jing Guo

Ziming Li

ACM Commun. Comput. Algebra, 2019

2018

Additive Decompositions in Primitive Extensions.

[BibT_eX]

[DOI]

Shaoshi Chen

Hao Du

Ziming Li

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2015

On the existence of telescopers for mixed hypergeometric terms.

[BibT_eX]

[DOI]

J. Symb. Comput., 2015

An Improved Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms.

[BibT_eX]

[DOI]

CoRR, 2015

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

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

2014

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

[BibT_eX]

[DOI]

Shaoshi Chen

Hui Huang

Ziming Li

ACM Commun. Comput. Algebra, 2014

Parallel telescoping and parameterized Picard-Vessiot theory.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

2013

Hermite reduction and creative telescoping for hyperexponential functions.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012

Transforming linear functional systems into fully integrable systems.

[BibT_eX]

[DOI]

Ziming Li

Min Wu

J. Symb. Comput., 2012

2011

Some remarks on Kähler differentials and ordinary differentials in nonlinear control theory.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2011

A criterion for the similarity of length-two elements in a noncommutative PID.

[BibT_eX]

[DOI]

Ziming Li

Huaifu Wang

J. Syst. Sci. Complex., 2011

Fast computation of common left multiples of linear ordinary differential operators.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2011

On the structure of compatible rational functions.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

2010

Rational-functions telescopers: blending creative telescoping with hermite reduction.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2010

Complexity of creative telescoping for bivariate rational functions.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010

2009

Submersive rational difference systems and their accessibility.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

2008

Simplifying skew fractions modulo differential and difference relations.

[BibT_eX]

[DOI]

Ziming Li

Martin Ondera

Huaifu Wang

ACM Commun. Comput. Algebra, 2008

2007

Testing linear dependence of hyperexponential elements.

[BibT_eX]

[DOI]

Ziming Li

Min Wu

Dabin Zheng

ACM Commun. Comput. Algebra, 2007

2006

Determining Whether a Multivariate Hyperexponential Function is Algebraic.

[BibT_eX]

[DOI]

Ziming Li

Dabin Zheng

J. Syst. Sci. Complex., 2006

A recursive method for determining the one-dimensional submodules of Laurent-Ore modules.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

2005

Computation with hyperexponential functions.

[BibT_eX]

[DOI]

Ziming Li

Dabin Zheng

SIGSAM Bull., 2005

Picard--Vessiot extensions for linear functional systems.

[BibT_eX]

[DOI]

Manuel Bronstein

Ziming Li

Min Wu

Proceedings of the Symbolic and Algebraic Computation, 2005

2004

Hyperexponential solutions of finite-rank ideals in orthogonal ore rings.

[BibT_eX]

[DOI]

George Labahn

Ziming Li

Proceedings of the Symbolic and Algebraic Computation, 2004

Differential rational normal forms and a reduction algorithm for hyperexponential func.

[BibT_eX]

[DOI]

Keith O. Geddes

Ha Q. Le

Ziming Li

Proceedings of the Symbolic and Algebraic Computation, 2004

2003

Factoring systems of linear PDEs with finite-dimensional solution spaces.

[BibT_eX]

[DOI]

Ziming Li

Fritz Schwarz

Serguei P. Tsarev

J. Symb. Comput., 2003

2002

Factoring zero-dimensional ideals of linear partial differential operators.

[BibT_eX]

[DOI]

Ziming Li

Fritz Schwarz

Serguei P. Tsarev

Proceedings of the Symbolic and Algebraic Computation, 2002

2001

Rational Solutions of Riccati-like Partial Differential Equations.

[BibT_eX]

[DOI]

Ziming Li

Fritz Schwarz

J. Symb. Comput., 2001

1998

A Subresultant Theory for Ore Polynomials with Applications.

[BibT_eX]

[DOI]

Ziming Li

Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998

1997

A Modular Algorithm for Computing Greatest Common Right Divisors of Ore Polynomials.

[BibT_eX]

[DOI]

Ziming Li

István Nemes

Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997

1995

Mechanical Theorem Proving in the Local Theory of Surfaces.

[BibT_eX]

[DOI]

Ziming Li

Ann. Math. Artif. Intell., 1995

Finding Roots of Unity Among Quotients of the Roots of an Integral Polynomial.

[BibT_eX]

[DOI]

Kazuhiro Yokoyama

Ziming Li

István Nemes

Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, 1995

Ziming Li

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...