2 papers
math.NA2025
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 , where is a nonsingular matrix and is a general nons…
physics.comp-ph2019
An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations
Takeo Hoshi, Takeshi Ogita, Katsuhisa Ozaki +1
An a posteriori verification method is proposed for the generalized real-symmetric eigenvalue problem and is applied to densely clustered eigenvalue problems in large-scale electro…