Freivalds' algorithm
= Freivalds' algorithm
{wiki=Freivalds'_algorithm}
Freivalds' algorithm is a randomized algorithm used to verify matrix products efficiently. It is particularly useful for checking whether the product of two matrices \\( A \\) and \\( B \\) equals a third matrix \\( C \\), i.e., whether \\( A \\times B = C \\). The algorithm is notable for its efficiency and its ability to reduce the verification problem to a probabilistic one.