75 citations · 402 across the 82 of their papers we have counts for
93 papers
Recurrences for permutations with long increasing subsequences
Manuel Kauers, Chen Wang
We prove two simple bivariate recurrences for the number of permutations with a long increasing subsequence. The two recurrences imply D-finiteness of the sequence in a certain ran…
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…
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…
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…
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.