# Ziming Li

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

Collaborative distances:

^{1}, Ziming Li authored at least 36 papers between 1995 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Online presence:

#### On csauthors.net:

## Bibliography

2021

CoRR, 2021

2020

CoRR, 2020

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

2019

J. Symb. Comput., 2019

J. Syst. Sci. Complex., 2019

ACM Commun. Comput. Algebra, 2019

2018

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

2015

J. Symb. Comput., 2015

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

CoRR, 2015

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

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.

ACM Commun. Comput. Algebra, 2014

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

2013

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

2012

J. Symb. Comput., 2012

2011

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

Syst. Control. Lett., 2011

J. Syst. Sci. Complex., 2011

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

ACM Commun. Comput. Algebra, 2011

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

2010

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

ACM Commun. Comput. Algebra, 2010

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

2009

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

2008

ACM Commun. Comput. Algebra, 2008

2007

ACM Commun. Comput. Algebra, 2007

2006

J. Syst. Sci. Complex., 2006

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

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

2005

SIGSAM Bull., 2005

Proceedings of the Symbolic and Algebraic Computation, 2005

2004

Proceedings of the Symbolic and Algebraic Computation, 2004

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

Proceedings of the Symbolic and Algebraic Computation, 2004

2003

J. Symb. Comput., 2003

2002

Proceedings of the Symbolic and Algebraic Computation, 2002

2001

J. Symb. Comput., 2001

1998

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.

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

1995

Ann. Math. Artif. Intell., 1995

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