Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions

12 Feb 2021  ·  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 integral basis. We sharpen the lazy Hermite reduction by combining it with the polynomial reduction to solve the decomposition problem of algebraic functions. The sharpened reduction is then used to design a reduction-based telescoping algorithm for algebraic functions in two variables.

PDF Abstract
No code implementations yet. Submit your code now

Categories


Symbolic Computation

Datasets


  Add Datasets introduced or used in this paper