Ziming Li - RankMe

53 papers B 19Journal 34

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