 Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2017/digital-systems-linear-algebra-introduction-to-formal-proof/5/a/ii/solution

F = 100 01 - 3 001, F^{- 1} = 100013001 .

Thus

F A

replaces row three by row three minus three times row two. The inverse adds those three copies back.

 New to topics? Read the docs here!