Solution

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

The second pivot is two. Row three has second entry two, so subtract row two; row four has second entry minus two, so add row two. Therefore , . Their trailing row pairs become and , respectively; the zero in the third pivot position is why a later row interchange is needed.

New to topics? Read the docs here!