Delete comment from: Computational Complexity
1) For instance, the LinBox package for linear algebra (in particular included in Sage) uses Strassen-Winograd's algorithm and even Bini's one. This recent paper (and its bibliography) gives some details: https://hal.archives-ouvertes.fr/hal-00987812/.
2) Of course I am! (Easier to say that as an anonymous ;-)).
Jan 13, 2015, 1:23:55 PM
Posted to Barrier's for Matrx Mult Lower bound