Assertion: given matrix | /r/HasProperty | invertible
Facets:
Source sentences:
text: Gauss–Jordan elimination is an algorithm that can be used to determine whether a given matrix is invertible and to find the inverse.