An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations. - Takeo Hoshi; Takeshi Ogita; Katsuhisa Ozaki; Takeshi Terao (J. Comput. Appl. Math., 2020)

LU-Cholesky QR algorithms for thin QR decomposition. - Takeshi Terao; Katsuhisa Ozaki; Takeshi Ogita (Parallel Comput., 2020)

Iterative refinement for an eigenpair subset of a real symmetric matrix. - Takeshi Terao; Toshiyuki Imamura; Katsuhisa Ozaki (JSIAM Lett., 2024)

Acceleration of iterative refinement for singular value decomposition. - Yuki Uchino; Takeshi Terao; Katsuhisa Ozaki (Numer. Algorithms, 2024)

Method for verifying solutions of sparse linear systems with general coefficients. - Takeshi Terao; Katsuhisa Ozaki (Appl. Math. Comput., 2025)

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 (CoRR, 2025)