research
∙
02/05/2021
Solving linear difference equations with coefficients in rings with idempotent representations
We introduce a general reduction strategy that enables one to search for...
share
research
∙
01/27/2021
Extensions of the AZ-algorithm and the Package MultiIntegrate
We extend the (continuous) multivariate Almkvist-Zeilberger algorithm in...
research
∙
10/28/2019
qFunctions – A Mathematica package for q-series and partition theory applications
We describe the qFunctions Mathematica package for q-series and partitio...
research
∙
08/19/2019
Proving two conjectural series for ζ(7) and discovering more series for ζ(7)
We give a proof of two identities involving binomial sums at infinity co...
research
∙
02/28/2019
Discovering and Proving Infinite Pochhammer Sum Identities
We consider nested sums involving the Pochhammer symbol at infinity and ...
research
∙
01/02/2018
Computing the Inverse Mellin Transform of Holonomic Sequences using Kovacic's Algorithm
We describe how the extension of a solver for linear differential equati...
research
∙
08/18/2016
Algorithms to solve coupled systems of differential equations in terms of power series
Using integration by parts relations, Feynman integrals can be represent...
research
∙
06/09/2016
Inverse Mellin Transform of Holonomic Sequences
We describe a method to compute the inverse Mellin transform of holonomi...
research
∙
01/08/2016
A toolbox to solve coupled systems of differential and difference equations
We present algorithms to solve coupled systems of linear differential eq...
research
∙
10/13/2015