• 145 Citations
  • 6 h-Index
20042020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

  • 145 Citations
  • 6 h-Index
  • 58 Article
  • 5 Conference contribution
  • 3 Conference article
  • 1 Paper
Filter
Article
2020
2019

LU-Cholesky QR algorithms for thin QR decomposition

Terao, T., Ozaki, K. & Ogita, T., 2019 Jan 1, (Accepted/In press) In : Parallel Computing. 102571.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2017

Acceleration of a preconditioning method for ill-conditioned dense linear systems by use of a BLAS-based method

Kobayashi, Y., Ogita, T. & Ozaki, K., 2017, In : Reliable Computing. 25, p. 15-23 9 p.

Research output: Contribution to journalArticle

Generation of linear systems with specified solutions for numerical experiments

Ozaki, K. & Ogita, T., 2017, In : Reliable Computing. 25, p. 148-167 20 p.

Research output: Contribution to journalArticle

2016

Error-free transformation of matrix multiplication with a posteriori validation

Ozaki, K., Ogita, T. & Oishi, S., 2016 Oct 1, In : Numerical Linear Algebra with Applications. 23, 5, p. 931-946 16 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)
2015

Improvement of error-free splitting for accurate matrix multiplication

Ozaki, K., Ogita, T. & Oishi, S., 2015 Nov 1, In : Journal of Computational and Applied Mathematics. 288, p. 127-140 14 p., 10123.

Research output: Contribution to journalArticle

Simple floating-point filters for the two-dimensional orientation problem

Ozaki, K., Bünger, F., Ogita, T., Oishi, S. & Rump, S. M., 2015 Jul 25, (Accepted/In press) In : BIT Numerical Mathematics.

Research output: Contribution to journalArticle

3 Citations (Scopus)
2013

Generalization of Error-Free Transformation for Matrix Multiplication and its Application

Ozaki, K., Ogita, T., Oishi, S. & Rump, S. M., 2013 Jan 1, In : Nonlinear Theory and its Applications. 4, p. 2-11

Research output: Contribution to journalArticle

2012

Application of Error-Free Transformation for Matrix Multiplication

Ozaki, K. & Ogita, T., 2012 Jun 18, In : Default journal. p. 34-34

Research output: Contribution to journalArticle

A robust algorithm for geometric predicate by error-free determinant transformation

Ozaki, K., Ogita, T. & Oishi, S., 2012 Jul 1, In : Information and Computation. 216, p. 3-13 11 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications

Ozaki, K., Ogita, T., Oishi, S. & Rump, S. M., 2012 Jan 1, In : Numerical Algorithms. 59, 1, p. 95-118 24 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)

Fast algorithms for floating-point interval matrix multiplication

Ozaki, K., Ogita, T., Rump, S. M. & Oishi, SI., 2012 Jan 1, In : Journal of Computational and Applied Mathematics. 236, 7, p. 1795-1814 20 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Fast Interval Matrix Multiplication without Directed Rounding

Ozaki, K., Ogita, T. & Oishi, S., 2012 Jun 25, In : Default journal.

Research output: Contribution to journalArticle

Memory Reduced Implementation of Error-Free Transformation of Matrix Multiplication and its Performance

Ozaki, K., Ogita, T. & Oishi, S., 2012 Oct 26, In : Default journal. p. 877-880

Research output: Contribution to journalArticle

39 Citations (Scopus)

Performance Comparison of Accurate Matrix Multiplication

Ozaki, K. & Ogita, T., 2012 Sep 25, In : Book of Abstracts. p. 129-130

Research output: Contribution to journalArticle

Verification Methods for Linear Systems on a GPU

Morikura, Y., Ozaki, K. & Oishi, S., 2012 Sep 27, In : Book of Abstracts. p. 113-114

Research output: Contribution to journalArticle

Verification methods for linear systems using ufp estimation with rounding-to-nearest

Morikura, Y., Ozaki, K. & Oishi, S., 2012 Jun 25, In : Default journal.

Research output: Contribution to journalArticle

2011

Accurate matrix multiplication: Improvement of error-free splitting

Ozaki, K., Ogita, T. & Oishi, S., 2011 Sep 5, In : Default journal. p. 85-85

Research output: Contribution to journalArticle

1 Citation (Scopus)

An algorithm for automatically selecting a suitable verification method for linear systems

Ozaki, K., Ogita, T. & Oishi, S., 2011 Mar 1, In : Numerical Algorithms. 56, 3, p. 363-382 20 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Computer Assisted Proof of Non-singularity of a Floating-point Matrix based on High Performance Functions

K.Ozaki, K. O., Ogita, T., Oishi, S. & Ozaki, K., 2011 Mar 1, In : Default journal.

Research output: Contribution to journalArticle

Error-Free Transformation of Matrix Multiplication by Using Fast Routines of Matrix Multiplication and its Applications

Ozaki, K., Ogita, T., Oishi, S. & Rump, S. M., 2011 Jun 14, In : Numerical Algorithms. 59, p. 95-118

Research output: Contribution to journalArticle

Error-free transformation of matrix product: worst case optimal algorithm

K.Ozaki, K. O., Ogita, T. & Ozaki, K., 2011 Jul 2, In : Default journal.

Research output: Contribution to journalArticle

General matrix multiplication with guaranteed accuracy

Ozaki, K. & Ogita, T., 2011 Jun 14, In : Default journal. p. 51-52

Research output: Contribution to journalArticle

Simplified semi-static floating-point filter for 2D orientation problem

Ozaki, K., Ogita, T. & Oishi, S., 2011 Jun 27, In : Default journal. p. 36-37

Research output: Contribution to journalArticle

Tight and efficient enclosure of matrix multiplication by using optimized BLAS

Ozaki, K., Ogita, T. & Oishi, S., 2011 Mar 1, In : Numerical Linear Algebra with Applications. 18, 2, p. 237-248 12 p.

Research output: Contribution to journalArticle

9 Citations (Scopus)

Verified solutions of linear systems on GPU

Morikura, M., Ozaki, K. & Oishi, S., 2011 Jun 29, In : Default journal. p. 174-175

Research output: Contribution to journalArticle

2010

An Algorithm for Automatically Selecting a Suitable Verification Method for Linear Systems, to appear in Numerical Algorithms.

Ozaki, K., Ogita, T. & Oishi, S., 2010 May 8, In : Numerical Algorithms. 56, p. 363-282

Research output: Contribution to journalArticle

14 Citations (Scopus)

Condition Numbers of Two-Dimensional Orientation Problem

Ozaki, K., Ogita, T. & Oishi, S., 2010 Sep 6, In : 2010 International Symposium on Nonlinear Theory and its Applications. p. 144-148

Research output: Contribution to journalArticle

21 Citations (Scopus)

Exact 2D Convex Hull for Floating-point data, 2010 Reliable Engineering Computing (REC2010), Singapore

Ozaki, K., Ogita, T. & Oishi, S., 2010 Mar 5, In : Default journal. p. 282-292

Research output: Contribution to journalArticle

14 Citations (Scopus)

Fast Interval Matrix Multiplication

Ozaki, K., Ogita, T. & Oishi, S., 2010 Jun 23, In : Applied Mathematics International Conference 2010 & The Sixth East Asia SIAM Conference. p. 44-45

Research output: Contribution to journalArticle

1 Citation (Scopus)
2009

Adaptive and efficient algorithm for 2D orientation problem

Ozaki, K., Ogita, T., Rump, S. M. & Oishi, S., 2009 Oct, In : Japan Journal of Industrial and Applied Mathematics. 26, 2-3, p. 215-231 17 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

A priori error estimation for accurate matrix multiplication by using optimized BLAS

Ozaki, K., Ogita, T. & Oishi, S., 2009 May 27, In : Default journal. p. 77

Research output: Contribution to journalArticle

Convex Hull by Verified Computations

Ozaki, K., Ogita, T. & Oishi, S., 2009 Mar 22, In : Default journal.

Research output: Contribution to journalArticle

Fast Filter for Verified Convex Hull and its Performance

Ozaki, K., Ogita, T. & Oishi, S., 2009 Jul 5, In : The 24th International Technical Conference on Circuits/Systems. p. 169-172

Research output: Contribution to journalArticle

Multiple Floating-point Matrix Multiplication by Level 3 Operations

Ozaki, K., Ogita, T. & Oishi, S., 2009 Oct 18, In : Default journal. p. 159-162

Research output: Contribution to journalArticle

3 Citations (Scopus)
2008

Accurate Matrix Multiplication by using Level 3 BLAS Operation

Ozaki, K., Ogita, T., Rump, S. M. & Oishi, S., 2008 Sep 7, In : 2008 International Symposium on Nonlinear Theory and its Applications (NOLTA2008). p. 508-511

Research output: Contribution to journalArticle

A Robust Algorithm for Geometric Predicate by Sum of Determinants

Ozaki, K., Ogita, T. & Oishi, S., 2008 Oct 10, In : The NIMS 2008 Conference & The 4th East Asia SIAM Conference. p. 29

Research output: Contribution to journalArticle

Tight Inclusion for Matrix Multiplication,

Ozaki, K., Ogita, T., Rump, S. M. & Oishi, S., 2008 Mar 2, In : Default journal.

Research output: Contribution to journalArticle

2007

Accurate Matrix Multiplication with Multiple Floating-point Numbers

K.Ozaki, K. O., T.Ogita, T. O., S.M.Rump, S. M. R., S.Oishi, S. O. & Ozaki, K., 2007 Sep 18, In : 2007 International Symposium on Nonlinear Theory and its Applications (NOLTA2007). p. 337-340

Research output: Contribution to journalArticle

A Combinational Property of Geometric Quad Trees and Its Application to Texture Mapping

Koriyama, A., Minezaki, T. & Ozaki, K., 2007 Mar 1, In : Proc. of The School of Science of Tokai University. p. 15-29

Research output: Contribution to journalArticle

A method of obtaining verified solutions for linear systems suited for Java

Ozaki, K., Ogita, T., Miyajima, S., Oishi, S. & Rump, S. M., 2007 Feb 15, In : Journal of Computational and Applied Mathematics. 199, 2, p. 337-344 8 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

An Efficient Method Of Applying Accurate Summation Algorithms To 3D Orientation Problem

K.Ozaki, K. O., T.Ogita, T. O., S.M.Rump, S. M. R., S.Oishi, S. O. & Ozaki, K., 2007 Nov 2, In : The 3rd East Asia SIAM Conference, Xiamen, China.

Research output: Contribution to journalArticle