Katsuhisa Ozaki

Available identifiers

zbMath Open ozaki.katsuhisaMaRDI QIDQ291917

List of research outcomes

Publication	Date of Publication	Type
Extension of accurate numerical algorithms for matrix multiplication based on error-free transformation	2025-01-27	Paper
Rigorous domain triangulation for the finite element computation	2024-11-18	Paper
Iterative refinement for an eigenpair subset of a real symmetric matrix	2024-11-18	Paper
Mixed-precision conjugate gradient algorithm using the groupwise update strategy	2024-05-07	Paper
Acceleration of iterative refinement for singular value decomposition	2024-01-22	Paper
Infinite-precision inner product and sparse matrix-vector multiplication using Ozaki scheme with Dot2 on manycore processors	2023-08-25	Paper
Generation of test matrices with specified eigenvalues using floating-point arithmetic	2022-04-22	Paper
Verified numerical computations for large-scale linear systems.	2021-04-13	Paper
An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations	2020-04-15	Paper
Error‐free transformation of matrix multiplication with a posteriori validation	2017-01-13	Paper
Simple floating-point filters for the two-dimensional orientation problem	2016-06-10	Paper
Improvement of error-free splitting for accurate matrix multiplication	2015-06-22	Paper
A robust algorithm for geometric predicate by error-free determinant transformation	2012-10-11	Paper
Tight and efficient enclosure of matrix multiplication by using optimized BLAS.	2012-06-07	Paper
Fast algorithms for floating-point interval matrix multiplication	2012-04-24	Paper
Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications	2012-02-13	Paper
An algorithm for automatically selecting a suitable verification method for linear systems	2011-03-31	Paper
Adaptive and efficient algorithm for 2D orientation problem	2010-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q3631293	2009-06-05	Paper
A method of obtaining verified solutions for linear systems suited for Java	2007-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q4654675	2005-03-08	Paper
https://portal.mardi4nfdi.de/entity/Q4438076	2003-12-09	Paper

Research outcomes over time

This page was built for person: Katsuhisa Ozaki