Deterministic Verification of Integer Matrix Multiplication in Quadratic Time.

Ivan Korec, Jir Wiedermann

Browse the full SOFSEM paper archive.