Katsuhisa Ozaki

According to our database, Katsuhisa Ozaki authored at least 21 papers between 2011 and 2025.

Collaborative distances:

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

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

DGEMM on integer matrix multiplication unit.

Hiroyuki Ootomo, Katsuhisa Ozaki, Rio Yokota

Int. J. High Perform. Comput. Appl., 2024

Performance Enhancement of the Ozaki Scheme on Integer Matrix Multiplication Unit.

Yuki Uchino, Katsuhisa Ozaki, Toshiyuki Imamura

CoRR, 2024

Polygonal Sequence-driven Triangulation Validator: An Incremental Approach to 2D Triangulation Verification.

Sora Sawai, Kazuaki Tanaka, Katsuhisa Ozaki, Shin'ichi Oishi

CoRR, 2024

2022

Generation of test matrices with specified eigenvalues using floating-point arithmetic.

Katsuhisa Ozaki, Takeshi Ogita

Numer. Algorithms, 2022

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

Proceedings of the Parallel Processing and Applied Mathematics, 2022

2021

Accurate Matrix Multiplication on Binary128 Format Accelerated by Ozaki Scheme.

Daichi Mukunoki, Katsuhisa Ozaki, Takeshi Ogita, Toshiyuki Imamura

Proceedings of the ICPP 2021: 50th International Conference on Parallel Processing, Lemont, IL, USA, August 9, 2021

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

Proceedings of the HPC Asia 2021: The International Conference on High Performance Computing in Asia-Pacific Region, 2021

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

DGEMM Using Tensor Cores, and Its Accurate and Reproducible Versions.

Daichi Mukunoki, Katsuhisa Ozaki, Takeshi Ogita, Toshiyuki Imamura

Proceedings of the High Performance Computing - 35th International Conference, 2020

2019

Reproducible BLAS Routines with Tunable Accuracy Using Ozaki Scheme for Many-Core Architectures.

Daichi Mukunoki, Takeshi Ogita, Katsuhisa Ozaki

Proceedings of the Parallel Processing and Applied Mathematics, 2019

2018

Threaded Accurate Matrix-Matrix Multiplications with Sparse Matrix-Vector Multiplications.

Shuntaro Ichimura, Takahiro Katagiri, Katsuhisa Ozaki, Takeshi Ogita, Toru Nagai

Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018

2016

Error-free transformation of matrix multiplication with a posteriori validation.

Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi

Numer. Linear Algebra Appl., 2016

2015

Improvement of error-free splitting for accurate matrix multiplication.

Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi

J. Comput. Appl. Math., 2015

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

Fast algorithms for floating-point interval matrix multiplication.

Katsuhisa Ozaki, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi

J. Comput. Appl. Math., 2012

A robust algorithm for geometric predicate by error-free determinant transformation.

Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi

Inf. Comput., 2012

2011

Tight and efficient enclosure of matrix multiplication by using optimized BLAS.

Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi

Numer. Linear Algebra Appl., 2011

An algorithm for automatically selecting a suitable verification method for linear systems.

Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi

Numer. Algorithms, 2011