Jerzy Respondek. Advanced Induction Variable Elimination for the Matrix Multiplication Task. In Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Maria Torre, David Taniar, Bernady O. Apduhan, editors, Computational Science and Its Applications - ICCSA 2015 - 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I. Volume 9155 of Lecture Notes in Computer Science, pages 232-241, Springer, 2015. [doi]
Abstract is missing.