no code implementations • 12 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
1 code implementation • 2 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.
1 code implementation • 27 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