4 papers · 1 filter
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…
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 ($…