Assertion: algorithm | /r/CapableOf | verify given matrices a
Facets:
Source sentences:
text: Freivalds' algorithm is a simple Monte Carlo algorithm that, given matrices A, B and C, verifies in Θ(n2) time if AB = C.