research
∙
02/09/2023
Hermite Reduction for D-finite Functions via Integral Bases
Trager's Hermite reduction solves the integration problem for algebraic ...
share
research
∙
04/14/2022
Shift Equivalence Testing of Polynomials and Symbolic Summation of Multivariate Rational Functions
The Shift Equivalence Testing (SET) of polynomials is deciding whether t...
research
∙
02/12/2021
Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions
Bronstein's lazy Hermite reduction is a symbolic integration technique t...
research
∙
02/07/2020
Integral P-Recursive Sequences
In an earlier paper, the notion of integrality known from algebraic numb...
research
∙
01/27/2019
On the Existence of Telescopers for Rational Functions in Three Variables
Zeilberger's method of creative telescoping is crucial for the computer-...
research
∙
01/27/2019
