11 citations · 28 across the 7 of their papers we have counts for
9 papers
Bivariate Extensions of Abramov's Algorithm for Rational Summation
Shaoshi Chen
Abramov's algorithm enables us to decide whether a univariate rational function can be written as a difference of another rational function, which has been a fundamental algorithm…
Apparent Singularities of D-finite Systems
Shaoshi Chen, Manuel Kauers, Ziming Li +1
We generalize the notions of singularities and ordinary points from linear ordinary differential equations to D-finite systems. Ordinary points of a D-finite system are characteriz…
Power Series with Coefficients from a Finite Set
Jason P. Bell, Shaoshi Chen
We prove in this paper that a multivariate D-finite power series with coefficients from a finite set is rational. This generalizes a rationality theorem of van der Poorten and Shpa…
On the Structure of Compatible Rational Functions
Shaoshi Chen, Ruyong Feng, Guofeng Fu +1
A finite number of rational functions are compatible if they satisfy the compatibility conditions of a first-order linear functional system involving differential, shift and q-shif…
Complexity of Creative Telescoping for Bivariate Rational Functions
Alin Bostan, Shaoshi Chen, Frédéric Chyzak +1
The long-term goal initiated in this work is to obtain fast algorithms and implementations for definite integration in Almkvist and Zeilberger's framework of (differential) creativ…
Hermite Reduction and Creative Telescoping for Hyperexponential Functions
Alin Bostan, Shaoshi Chen, Frédéric Chyzak +2
We present a reduction algorithm that simultaneously extends Hermite's reduction for rational functions and the Hermite-like reduction for hyperexponential functions. It yields a u…