Ivan Korec, Jirí Wiedermann. Deterministic Verification of Integer Matrix Multiplication in Quadratic Time. In Viliam Geffert, Bart Preneel, Branislav Rovan, Julius Stuller, A Min Tjoa, editors, SOFSEM 2014: Theory and Practice of Computer Science - 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings. Volume 8327 of Lecture Notes in Computer Science, pages 375-382, Springer, 2014. [doi]
Abstract is missing.