Search Results for author: Manuel Kauers

Found 3 papers, 2 papers with code

Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions

no code implementations12 Feb 2021 Shaoshi Chen, Lixin Du, Manuel Kauers

Bronstein's lazy Hermite reduction is a symbolic integration technique that reduces algebraic functions to integrands with only simple poles without the prior computation of an integral basis.

Symbolic Computation

Good pivots for small sparse matrices

1 code implementation2 Jun 2020 Manuel Kauers, Jakob Moosbauer

For sparse matrices up to size $8 \times 8$, we determine optimal choices for pivot selection in Gaussian elimination.

BIG-bench Machine Learning

Local Search for Fast Matrix Multiplication

1 code implementation27 Mar 2019 Marijn J. H. Heule, Manuel Kauers, Martina Seidl

Laderman discovered a scheme for computing the product of two 3x3 matrices using only 23 multiplications in 1976.

Logic in Computer Science Symbolic Computation

Cannot find the paper you are looking for? You can Submit a new open access paper.