Katsuhisa Ozaki

Available identifiers

zbMath Open ozaki.katsuhisaMaRDI QIDQ291917

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Katsuhisa Ozaki