Verified error bounds for the singular values of structured matrices with applications to computer-assisted proofs for differential equations

Takeshi Terao, Yoshitaka Watanabe, Katsuhisa Ozaki

This paper introduces two methods for verifying the singular values of the structured matrix denoted by $R^{-H}A{R}^{-1}$, where $R$ is a nonsingular matrix and $A$ is a general nons…