An algorithm for automatically selecting a suitable verification method for linear systems. - Katsuhisa Ozaki; Takeshi Ogita; Shin'ichi Oishi (Numer. Algorithms, 2011)

Tight and efficient enclosure of matrix multiplication by using optimized BLAS. - Katsuhisa Ozaki; Takeshi Ogita; Shin'ichi Oishi (Numer. Linear Algebra Appl., 2011)

A robust algorithm for geometric predicate by error-free determinant transformation. - Katsuhisa Ozaki; Takeshi Ogita; Shin'ichi Oishi (Inf. Comput., 2012)

Fast algorithms for floating-point interval matrix multiplication. - Katsuhisa Ozaki; Takeshi Ogita; Siegfried M. Rump; Shin'ichi Oishi (J. Comput. Appl. Math., 2012)

Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications. - Katsuhisa Ozaki; Takeshi Ogita; Shin'ichi Oishi; Siegfried M. Rump (Numer. Algorithms, 2012)

Improvement of error-free splitting for accurate matrix multiplication. - Katsuhisa Ozaki; Takeshi Ogita; Shin'ichi Oishi (J. Comput. Appl. Math., 2015)

Error-free transformation of matrix multiplication with a posteriori validation. - Katsuhisa Ozaki; Takeshi Ogita; Shin'ichi Oishi (Numer. Linear Algebra Appl., 2016)

Threaded Accurate Matrix-Matrix Multiplications with Sparse Matrix-Vector Multiplications. - Shuntaro Ichimura; Takahiro Katagiri; Katsuhisa Ozaki; Takeshi Ogita; Toru Nagai (IPDPS Workshops, 2018)

Reproducible BLAS Routines with Tunable Accuracy Using Ozaki Scheme for Many-Core Architectures. - Daichi Mukunoki; Takeshi Ogita; Katsuhisa Ozaki (PPAM (1), 2019)

DGEMM Using Tensor Cores, and Its Accurate and Reproducible Versions. - Daichi Mukunoki; Katsuhisa Ozaki; Takeshi Ogita; Toshiyuki Imamura (ISC, 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)

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

Conjugate Gradient Solvers with High Accuracy and Bit-wise Reproducibility between CPU and GPU using Ozaki scheme. - Daichi Mukunoki; Katsuhisa Ozaki; Takeshi Ogita; Roman Iakymchuk (HPC Asia, 2021)

Accurate Matrix Multiplication on Binary128 Format Accelerated by Ozaki Scheme. - Daichi Mukunoki; Katsuhisa Ozaki; Takeshi Ogita; Toshiyuki Imamura (ICPP, 2021)

Infinite-Precision Inner Product and Sparse Matrix-Vector Multiplication Using Ozaki Scheme with Dot2 on Manycore Processors. - Daichi Mukunoki; Katsuhisa Ozaki; Takeshi Ogita; Toshiyuki Imamura (PPAM (1), 2022)

Generation of test matrices with specified eigenvalues using floating-point arithmetic. - Katsuhisa Ozaki; Takeshi Ogita (Numer. Algorithms, 2022)

Polygonal Sequence-driven Triangulation Validator: An Incremental Approach to 2D Triangulation Verification. - Sora Sawai; Kazuaki Tanaka; Katsuhisa Ozaki; Shin'ichi Oishi (CoRR, 2024)

DGEMM on integer matrix multiplication unit. - Hiroyuki Ootomo; Katsuhisa Ozaki; Rio Yokota (Int. J. High Perform. Comput. Appl., 2024)

Rigorous domain triangulation for the finite element computation. - Katsuhisa Ozaki; Xuefeng Liu (JSIAM Lett., 2024)

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)

Performance enhancement of the Ozaki Scheme on integer matrix multiplication unit. - Yuki Uchino; Katsuhisa Ozaki; Toshiyuki Imamura (Int. J. High Perform. Comput. Appl., 2025)

Fast and accurate algorithm for matrix multiplication using fused multiply-add. - Katsuhisa Ozaki; Toru Koizumi 003 (JSIAM Lett., 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)

Ozaki Scheme II: A GEMM-oriented emulation of floating-point matrix multiplication using an integer modular technique. - Katsuhisa Ozaki; Yuki Uchino; Toshiyuki Imamura (CoRR, 2025)

High-Performance and Power-Efficient Emulation of Matrix Multiplication using INT8 Matrix Engines. - Yuki Uchino; Katsuhisa Ozaki; Toshiyuki Imamura (CoRR, 2025)