An efficient deterministic algorithm for correcting matrix products over the ring of integers, with at most k erroneous entries, using O(√kn^2 + k^2n) operations.
