Deterministic Verification of Integer Matrix Multiplication in Quadratic Time.

Ivan Korec Jirí Wiedermann

Published in: SOFSEM (2014)

Keyphrases

matrix multiplication
message passing
distributed memory
model checking
pairwise
computational complexity
black box
matrix factorization
linear functions
three dimensional
preprocessing
object oriented
software engineering
data management
data processing
verification method