3 papers
cs.SC2021
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…
cs.SC2020
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…
cs.SC2019
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 ($…