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