15 papers
On (3,1)-regular graphs with one more vertex than edges
Frédéric Chyzak, Hui Huang, Manuel Kauers
Sequence A339987 of the OEIS counts (3,1)-regular graphs having one more vertex than edges by half the number of vertices. A recurrence relation satisfied by this sequence was gues…
Exploiting the Structure in Tensor Decompositions for Matrix Multiplication
Manuel Kauers, Jakob Moosbauer, Isaac Wood
We present a new algorithm for fast matrix multiplication using tensor decompositions which have special features. Thanks to these features we obtain exponents lower than what the…
Statistical Analysis of Hairpins and BasePairs in RNA Secondary Structures
AJ Bu, Manuel Kauers, Doron Zeilberger
We derive precise asymptotic expressions for the expectations, variances, covariance, and quite a few further mixed moments for the number of hairpins and the number of basepairs i…
Symbolic Integration in Weierstrass-like Extensions
Shaoshi Chen, Manuel Kauers, Wenqiao Li +2
This paper studies the integration problem in differential fields that may involve quantities reminiscent of the Weierstrass function, which are defined by a first-order nonl…
Exploring the Meta Flip Graph for Matrix Multiplication
Manuel Kauers, Isaac Wood
Continuing recent investigations of bounding the tensor rank of matrix multiplication using flip graphs, we present here improved rank bounds for about thirty matrix formats.
Symmetric Division of Linear Ordinary Differential Operators
Lixin Du, Manuel Kauers
The symmetric product of two ordinary linear differential operators is an operator whose solution set contains the product of any solution of and any…