Gaussian Variant of Freivalds' Algorithm for Efficient and Reliable Matrix Product Verification

Hao Ji, Michael Mascagni, Yaohang Li

In this article, we consider the general problem of checking the correctness of matrix multiplication. Given three $n\times n$ matrices $A$, $B$, and $C$, the goal is to verify th…