Andre Weinberg

Learn More
We use veriied computations and the Lanczos process to obtain guaranteed lower and upper bounds on the 2-norm and the energy-norm error of an approximate solution to a symmetric postitive deenite linear system. The upper bounds require the a priori knowledge of a lower bound on the smallest eigenvalue.
  • 1