| Publication | Date of Publication | Type |
|---|
Fast and accurate algorithm for matrix multiplication using fused multiply-add
JSIAM Letters | 2025-11-17 | Paper |
Extension of accurate numerical algorithms for matrix multiplication based on error-free transformation
Japan Journal of Industrial and Applied Mathematics | 2025-01-27 | Paper |
Rigorous domain triangulation for the finite element computation
JSIAM Letters | 2024-11-18 | Paper |
Iterative refinement for an eigenpair subset of a real symmetric matrix
JSIAM Letters | 2024-11-18 | Paper |
Mixed-precision conjugate gradient algorithm using the groupwise update strategy
Japan Journal of Industrial and Applied Mathematics | 2024-05-07 | Paper |
Acceleration of iterative refinement for singular value decomposition
Numerical Algorithms | 2024-01-22 | Paper |
Infinite-precision inner product and sparse matrix-vector multiplication using Ozaki scheme with Dot2 on manycore processors
Parallel Processing and Applied Mathematics | 2023-08-25 | Paper |
Generation of test matrices with specified eigenvalues using floating-point arithmetic
Numerical Algorithms | 2022-04-22 | Paper |
Verified numerical computations for large-scale linear systems.
Applications of Mathematics | 2021-04-13 | Paper |
An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations
Journal of Computational and Applied Mathematics | 2020-04-15 | Paper |
Error‐free transformation of matrix multiplication with a posteriori validation
Numerical Linear Algebra with Applications | 2017-01-13 | Paper |
Simple floating-point filters for the two-dimensional orientation problem
BIT | 2016-06-10 | Paper |
Improvement of error-free splitting for accurate matrix multiplication
Journal of Computational and Applied Mathematics | 2015-06-22 | Paper |
A robust algorithm for geometric predicate by error-free determinant transformation
Information and Computation | 2012-10-11 | Paper |
Tight and efficient enclosure of matrix multiplication by using optimized BLAS.
Numerical Linear Algebra with Applications | 2012-06-07 | Paper |
Fast algorithms for floating-point interval matrix multiplication
Journal of Computational and Applied Mathematics | 2012-04-24 | Paper |
Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications
Numerical Algorithms | 2012-02-13 | Paper |
An algorithm for automatically selecting a suitable verification method for linear systems
Numerical Algorithms | 2011-03-31 | Paper |
Adaptive and efficient algorithm for 2D orientation problem
Japan Journal of Industrial and Applied Mathematics | 2010-02-25 | Paper |
| scientific article; zbMATH DE number 5562391 (Why is no real title available?) | 2009-06-05 | Paper |
A method of obtaining verified solutions for linear systems suited for Java
Journal of Computational and Applied Mathematics | 2007-02-02 | Paper |
| scientific article; zbMATH DE number 2143048 (Why is no real title available?) | 2005-03-08 | Paper |
| scientific article; zbMATH DE number 2015229 (Why is no real title available?) | 2003-12-09 | Paper |
