Computation of Sharp Rigorous Componentwise Error Bounds for the Approximate Solutions of Systems of Linear Equations. - Takeshi Ogita; Shin'ichi Oishi; Yasunori Ushiro (Reliab. Comput., 2003)

Fast Verification for Respective Eigenvalues of Symmetric Matrix. - Shinya Miyajima; Takeshi Ogita; Shin'ichi Oishi (CASC, 2005)

Fast Inclusion of Interval Matrix Multiplication. - Takeshi Ogita; Shin'ichi Oishi (Reliab. Comput., 2005)

Accurate Sum and Dot Product. - Takeshi Ogita; Siegfried M. Rump; Shin'ichi Oishi (SIAM J. Sci. Comput., 2005)

A parallel algorithm for accurate dot product. - Naoya Yamanaka; Takeshi Ogita; Siegfried M. Rump; Shin'ichi Oishi (Parallel Comput., 2008)

Accurate Floating-Point Summation Part I: Faithful Rounding. - Siegfried M. Rump; Takeshi Ogita; Shin'ichi Oishi (SIAM J. Sci. Comput., 2008)

Accurate Floating-Point Summation Part II: Sign, K-Fold Faithful and Rounding to Nearest. - Siegfried M. Rump; Takeshi Ogita; Shin'ichi Oishi (SIAM J. Sci. Comput., 2008)

Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems. - Shinya Miyajima; Takeshi Ogita; Siegfried M. Rump; Shin'ichi Oishi (Reliab. Comput., 2010)

Accurate Matrix Factorization: Inverse LU and Inverse QR Factorizations. - Takeshi Ogita (SIAM J. Matrix Anal. Appl., 2010)

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 Note on a Verified Automatic Integration Algorithm. - Naoya Yamanaka; Masahide Kashiwagi; Shin'ichi Oishi; Takeshi Ogita (Reliab. Comput., 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)

Convergence analysis of accurate inverse Cholesky factorization. - Yuka Yanagisawa; Takeshi Ogita (JSIAM Lett., 2013)

Fast Verified Solutions of Sparse Linear Systems with H-matrices. - Atsushi Minamihata; Kouta Sekine; Takeshi Ogita; Shin'ichi Oishi (Reliab. Comput., 2013)

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

A fast and efficient algorithm for solving ill-conditioned linear systems. - Yuka Kobayashi; Takeshi Ogita (JSIAM Lett., 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)

White Paper from Workshop on Large-scale Parallel Numerical Computing Technology (LSPANC 2020): HPC and Computer Arithmetic toward Minimal-Precision Computing. - Roman Iakymchuk; Daichi Mukunoki; Artur Podobas; Fabienne Jézéquel; Toshiyuki Imamura; Norihisa Fujita; Jens Huthmann; Shuhei Kudo; Yiyu Tan; Jens Domke; Kai Torben Ohlhus; Takeshi Fukaya; et al. (CoRR, 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)

Modified error bounds for approximate solutions of dense linear systems. - Atsushi Minamihata; Takeshi Ogita; Siegfried M. Rump; Shin'ichi Oishi (J. Comput. Appl. Math., 2020)

Performance and energy consumption of accurate and mixed-precision linear algebra kernels on GPUs. - Daichi Mukunoki; Takeshi Ogita (J. Comput. Appl. Math., 2020)

Iterative refinement for singular value decomposition based on matrix multiplication. - Takeshi Ogita; Kensuke Aishima (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)

Efficient Parallel Multigrid Methods on Manycore Clusters with Double/Single Precision Computing. - Kengo Nakajima; Takeshi Ogita; Masatoshi Kawai (IPDPS Workshops, 2021)

Foreword. - Mitsuhiro T. Nakao; Takeshi Ogita; Siegfried M. Rump (J. Comput. Appl. Math., 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)

Verified Error Bounds for Matrix Decompositions. - Siegfried M. Rump; Takeshi Ogita (SIAM J. Matrix Anal. Appl., 2024)