| Publication | Date of Publication | Type |
|---|
Extension of accurate numerical algorithms for matrix multiplication based on error-free transformation
Japan Journal of Industrial and Applied Mathematics | 2025-01-27 | Paper |
Verified error bounds for matrix decompositions
SIAM Journal on Matrix Analysis and Applications | 2024-11-21 | Paper |
On a quality measure for interval inclusions
BIT | 2024-06-18 | 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 |
Performance and energy consumption of accurate and mixed-precision linear algebra kernels on GPUs
Journal of Computational and Applied Mathematics | 2020-02-18 | Paper |
Iterative refinement for singular value decomposition based on matrix multiplication
Journal of Computational and Applied Mathematics | 2020-02-05 | Paper |
Modified error bounds for approximate solutions of dense linear systems
Journal of Computational and Applied Mathematics | 2020-02-05 | Paper |
Iterative refinement for symmetric eigenvalue decomposition. II. Clustered eigenvalues
Japan Journal of Industrial and Applied Mathematics | 2019-08-15 | Paper |
A fast and efficient algorithm for solving ill-conditioned linear systems
JSIAM Letters | 2019-03-18 | Paper |
Convergence analysis of accurate inverse Cholesky factorization
JSIAM Letters | 2019-03-15 | Paper |
Iterative refinement for symmetric eigenvalue decomposition
Japan Journal of Industrial and Applied Mathematics | 2018-12-07 | 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 |
Convergence analysis of an algorithm for accurate inverse Cholesky factorization
Japan Journal of Industrial and Applied Mathematics | 2015-02-25 | Paper |
Tight enclosures of solutions of linear systems
Inequalities and Applications | 2013-06-13 | 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 |
Accurate matrix factorization: Inverse LU and inverse QR factorizations
SIAM Journal on Matrix Analysis and Applications | 2011-03-02 | Paper |
Accurate floating-point summation. II: Sign, \(K\)-fold faithful and rounding to nearest
SIAM Journal on Scientific Computing | 2010-05-06 | Paper |
Accurate Floating-Point Summation Part I: Faithful Rounding
SIAM Journal on Scientific Computing | 2010-03-10 | Paper |
Fast verified solutions of linear systems
Japan Journal of Industrial and Applied Mathematics | 2010-02-25 | Paper |
Adaptive and efficient algorithm for 2D orientation problem
Japan Journal of Industrial and Applied Mathematics | 2010-02-25 | Paper |
Iterative refinement for ill-conditioned linear systems
Japan Journal of Industrial and Applied Mathematics | 2010-02-25 | Paper |
Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices
Journal of Computational and Applied Mathematics | 2007-07-17 | Paper |
Super-fast validated solution of linear systems
Journal of Computational and Applied Mathematics | 2007-02-02 | Paper |
A method of obtaining verified solutions for linear systems suited for Java
Journal of Computational and Applied Mathematics | 2007-02-02 | Paper |
Computer Algebra in Scientific Computing
| 2006-07-07 | Paper |
Accurate Sum and Dot Product
SIAM Journal on Scientific Computing | 2005-09-22 | Paper |
Fast inclusion of interval matrix multiplication
Reliable Computing | 2005-08-02 | Paper |
Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations
Reliable Computing | 2003-08-06 | Paper |
scientific article; zbMATH DE number 2015315 (Why is no real title available?)
| 2003-01-01 | Paper |
scientific article; zbMATH DE number 1694910 (Why is no real title available?)
| 2002-09-29 | Paper |
scientific article; zbMATH DE number 1741296 (Why is no real title available?)
| 2002-05-15 | Paper |
