1 citations · 2 across the 9 of their papers we have counts for
9 papers
On the Summability Problem of Multivariate Rational Functions in the Mixed Case
Shaoshi Chen, Lixin Du, Hanqian Fang +1
Continuing previous work, this paper focuses on the summability problem of multivariate rational functions in the mixed case in which both shift and -shift operators can appear.…
Symmetric Division of Linear Ordinary Differential Operators
Lixin Du, Manuel Kauers
The symmetric product of two ordinary linear differential operators is an operator whose solution set contains the product of any solution of and any…
On the Existence of Telescopers for P-recursive Sequences
Lixin Du
We extend the criterion on the existence of telescopers for hypergeometric terms to the case of P-recursive sequences. This criterion is based on the concept of integral bases and…
Reduction-based Creative Telescoping for P-recursive Sequences via Integral Bases
Shaoshi Chen, Lixin Du, Manuel Kauers +1
We propose a way to split a given bivariate P-recursive sequence into a summable part and a non-summable part in such a way that the non-summable part is minimal in some sense. Thi…
Hermite Reduction for D-finite Functions via Integral Bases
Shaoshi Chen, Lixin Du, Manuel Kauers
Trager's Hermite reduction solves the integration problem for algebraic functions via integral bases. A generalization of this algorithm to D-finite functions has so far been limit…
Symbolic Summation of Multivariate Rational Functions
Shaoshi Chen, Lixin Du, Hanqian Fang
Symbolic summation as an active research topic of symbolic computation provides efficient algorithmic tools for evaluating and simplifying different types of sums arising from math…
Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions
Shaoshi Chen, Lixin Du, Manuel Kauers
Bronstein's lazy Hermite reduction is a symbolic integration technique that reduces algebraic functions to integrands with only simple poles without the prior computation of an int…
Integral P-Recursive Sequences
Shaoshi Chen, Lixin Du, Manuel Kauers +1
In an earlier paper, the notion of integrality known from algebraic number fields and fields of algebraic functions has been extended to D-finite functions. The aim of the present…
On the Existence of Telescopers for Rational Functions in Three Variables
Shaoshi Chen, Lixin Du, Rong-Hua Wang +1
Zeilberger's method of creative telescoping is crucial for the computer-generated proofs of combinatorial and special-function identities. Telescopers are linear differential or ($…