We want to find numerical solutions to

with a rule

Standard terminology:

  • is the exact solution
  • is the error
  • is the residual

Iterative Refinement
Exact Line Search