research
∙
07/14/2023
Reduction-Based Creative Telescoping for Definite Summation of D-finite Functions
Creative telescoping is an algorithmic method initiated by Zeilberger to...
share
research
∙
06/09/2023
Positivity certificates for linear recurrences
We show that for solutions of linear recurrences with polynomial coeffic...
research
∙
09/05/2022
Minimization of differential equations and algebraic values of E-functions
A power series being given as the solution of a linear differential equa...
research
∙
10/15/2021
Faster Modular Composition
A new Las Vegas algorithm is presented for the composition of two polyno...
research
∙
03/18/2020
Computation of Tight Enclosures for Laplacian Eigenvalues
Recently, there has been interest in high-precision approximations of th...
research
∙
07/02/2019
Absolute root separation
The absolute separation of a polynomial is the minimum nonzero differenc...
research
∙
05/10/2019
Effective Coefficient Asymptotics of Multivariate Rational Functions via Semi-Numerical Algorithms for Polynomial Systems
The coefficient sequences of multivariate rational functions appear in m...
research
∙
11/21/2018
Linear Differential Equations as a Data-Structure
A lot of information concerning solutions of linear differential equatio...
research
∙
05/09/2018
Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
Hermite reduction is a classical algorithmic tool in symbolic integratio...
research
∙
05/17/2016
Efficient Algorithms for Mixed Creative Telescoping
Creative telescoping is a powerful computer algebra paradigm -initiated ...
research
∙
05/02/2016
Symbolic-Numeric Tools for Analytic Combinatorics in Several Variables
Analytic combinatorics studies the asymptotic behaviour of sequences thr...
research
∙
10/26/2015
Multiple binomial sums
Multiple binomial sums form a large class of multi-indexed sequences, cl...
research
∙
10/15/2015
Algebraic Diagonals and Walks: Algorithms, Bounds, Complexity
The diagonal of a multivariate power series F is the univariate power se...
research
∙
10/14/2015