75 citations · 402 across the 82 of their papers we have counts for
5 papers · 2 filters
On the length of integers in telescopers for proper hypergeometric terms
Manuel Kauers, Lily Yen
We show that the number of digits in the integers of a creative telescoping relation of expected minimal order for a bivariate proper hypergeometric term has essentially cubic grow…
Ore Polynomials in Sage
Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson
We present a Sage implementation of Ore algebras. The main features for the most common instances include basic arithmetic and actions; gcrd and lclm; D-finite closure properties;…
Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
Stefan Gerhold, Manuel Kauers, Christoph Koutschan +3
We employ computer algebra algorithms to prove a collection of identities involving Bessel functions with half-integer orders and other special functions. These identities appear i…
Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation
Fredrik Johansson, Manuel Kauers, Marc Mezzarobba
We present a new algorithm for computing hyperexponential solutions of ordinary linear differential equations with polynomial coefficients. The algorithm relies on interpreting for…
Desingularization Explains Order-Degree Curves for Ore Operators
Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers +1
Desingularization is the problem of finding a left multiple of a given Ore operator in which some factor of the leading coefficient of the original operator is removed. An order-de…