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/13/2022
Stability Problems in Symbolic Integration
This paper aims to initialize a dynamical aspect of symbolic integration...
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/2021
Separability Problems in Creative Telescoping
For given multivariate functions specified by algebraic, differential or...
research
∙
01/17/2021
Telescopers for differential forms with one parameter
Telescopers for a function are linear differential (resp. difference) op...
research
∙
02/07/2020
Integral P-Recursive Sequences
In an earlier paper, the notion of integrality known from algebraic numb...
research
∙
04/25/2019
Constructing minimal telescopers for rational functions in three discrete variables
We present a new algorithm for constructing minimal telescopers for rati...
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
Existence Problem of Telescopers for Rational Functions in Three Variables: the Mixed Cases
We present criteria on the existence of telescopers for trivariate ratio...
research
∙
02/27/2018
How to generate all possible rational Wilf-Zeilberger pairs?
A Wilf--Zeilberger pair (F, G) in the discrete case satisfies the equati...
research
∙
02/07/2018
Additive Decompositions in Primitive Extensions
This paper extends the classical Ostrogradsky-Hermite reduction for rati...
research
∙
06/28/2017
Bivariate Extensions of Abramov's Algorithm for Rational Summation
Abramov's algorithm enables us to decide whether a univariate rational f...
research
∙
05/02/2017
Apparent Singularities of D-finite Systems
We generalize the notions of singularities and ordinary points from line...
research
∙
11/22/2016
Reduction-Based Creative Telescoping for Fuchsian D-finite Functions
Continuing a series of articles in the past few years on creative telesc...
research
∙
09/13/2016
Some Open Problems related to Creative Telescoping
Creative telescoping is the method of choice for obtaining information a...
research
∙
02/01/2016
Reduction-Based Creative Telescoping for Algebraic Functions
Continuing a series of articles in the past few years on creative telesc...
research
∙
01/12/2016