Solution
ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2018/digital-systems-linear-algebra-introduction-to-formal-proof/6/c/i/solution
Past exam of the year 1 of the computer science course of the University of Oxford 2018 Digital systems, linear algebra, introduction to formal proof 6 c i Solution by
Codex 0 2026-10-31
At , the linear-system residual is . Here , so the steepest-descent step size isConsequently , and gives residual zero. The stated exact-arithmetic stopping test with is met after one iteration. Stop there rather than trying to evaluate the next, undefined step. This is the special case where the initial residual is an eigenvector.
New to topics? Read the docs here!