Advances in Verified Computations for Solutions of Matrix Equations

Abstract

Numerical computations give approximations to solutions of problems in general. Verified computations yield intervals containing the solutions. The author has established a framework for verified computations of solutions to matrix equations. This manuscript introduces the framework with matrix square roots being an example.