Freivalds’ Algorithm : a randomized version of verification of matrix multiplication http://www.cyberenlightener.com/
No download links available.