75 citations · 402 across the 82 of their papers we have counts for
7 papers · 1 filter
Reduction-based Creative Telescoping for P-recursive Sequences via Integral Bases
Shaoshi Chen, Lixin Du, Manuel Kauers +1
We propose a way to split a given bivariate P-recursive sequence into a summable part and a non-summable part in such a way that the non-summable part is minimal in some sense. Thi…
Hardinian Arrays
Robert Dougherty-Bliss, Manuel Kauers
In 2014, R.H. Hardin contributed a family of sequences about king-moves on an array to the On-Line Encyclopedia of Integer Sequences (OEIS). The sequences were recently noticed in…
Some New Non-Commutative Matrix Multiplication Algorithms of Size
Manuel Kauers, Jakob Moosbauer
For various , we propose some new algorithms for multiplying an matrix with an matrix over a possibly noncommutative coefficient ring.
Some D-finite and Some Possibly D-finite Sequences in the OEIS
Manuel Kauers, Christoph Koutschan
In an automatic search, we found conjectural recurrences for some sequences in the OEIS that were not previously recognized as being D-finite. In some cases, we are able to prove t…
Hermite Reduction for D-finite Functions via Integral Bases
Shaoshi Chen, Lixin Du, Manuel Kauers
Trager's Hermite reduction solves the integration problem for algebraic functions via integral bases. A generalization of this algorithm to D-finite functions has so far been limit…
Order bounds for -finite sequences
Manuel Kauers, Philipp Nuspl, Veronika Pillwein
A sequence is called -finite if it satisfies a linear recurrence with constant coefficients. We study sequences which satisfy a linear recurrence with -finite coefficients. R…