Verified error bounds for solutions of Sylvester matrix equations (Q651215)

The authors analyze several direct methods for computing enclosing intervals for all entries of an \(m \times n\) solution matrix \(X\) of the Sylvester matrix equation \(AX + XB = C\). Starting with the approximate solution provided by any of these methods, they compute an interval enclosure for each entry of the solution matrix, an interval which is known to contain the corresponding entry of the exact solution.