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