Bounds on sample space size for matrix product verification
probabilistic matrix product verification algorithm
scientific article; zbMATH DE number 500554