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.