Title: Computer-aided discovery of a fast matrix-multiplication algorithm
Subjects: Complex Multiplication, Computational complexity, Programming (Mathematics)