Takeshi Terao

According to our database, Takeshi Terao authored at least 6 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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, February, 2025

Method for verifying solutions of sparse linear systems with general coefficients.

Takeshi Terao, Katsuhisa Ozaki

Appl. Math. Comput., 2025

2024

Acceleration of iterative refinement for singular value decomposition.

Yuki Uchino, Takeshi Terao, Katsuhisa Ozaki

Numer. Algorithms, February, 2024

Iterative refinement for an eigenpair subset of a real symmetric matrix.

Takeshi Terao, Toshiyuki Imamura, Katsuhisa Ozaki

JSIAM Lett., 2024

2020

LU-Cholesky QR algorithms for thin QR decomposition.

Takeshi Terao, Katsuhisa Ozaki, Takeshi Ogita

Parallel Comput., 2020

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