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

Research Output 2004 2017

  • 84 Citations
  • 5 h-Index
  • 56 Article
  • 3 Conference contribution
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

Linear systems
Digital arithmetic
Factorization
Experiments

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

Linear systems
Experiments
2016
3 Citations

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

Digital arithmetic
Linear algebra

Improvement of the error bound for the dot product using the unit in the first place

Ozaki, K. 2016 Oct 20 Numerical Computations: Theory and Algorithms, NUMTA 2016: Proceedings of the 2nd International Conference "Numerical Computations: Theory and Algorithms". American Institute of Physics Inc., Vol. 1776, 090013

Research output: Chapter in Book/Report/Conference proceedingConference contribution

products
floating
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

Digital arithmetic
Computational geometry
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

1 Citations

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

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

Research output: Contribution to journalArticle

Computational geometry
6 Citations

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 In : Numerical Algorithms. 59, 1, p. 95-118 24 p.

Research output: Contribution to journalArticle

Digital arithmetic
Data storage equipment
5 Citations

Fast algorithms for floating-point interval matrix multiplication

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

Research output: Contribution to journalArticle

Fast Interval Matrix Multiplication without Directed Rounding

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

Research output: Contribution to journalArticle

Matrix multiplication with guaranteed accuracy by level 3 BLAS

Ozaki, K., Ogita, T. & Oishi, S. 2012 AIP Conference Proceedings. Vol. 1504, p. 1128-1133 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

multiplication
matrices
floating
24 Citations

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

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
1 Citations

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 Citations

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

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

Research output: Contribution to journalArticle

Linear systems
Computational methods
Digital arithmetic
Costs

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

7 Citations

Tight and efficient enclosure of matrix multiplication by using optimized BLAS

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

Research output: Contribution to journalArticle

Enclosures
Digital arithmetic
Costs

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
12 Citations

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

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

12 Citations

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

1 Citations

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

2 Citations
2009
1 Citations

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

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

Robustness problems and verified computations for computational geometry

Ozaki, K., Ogita, T. & Oishi, S. 2009 Asia Simulation Conference 2009, JSST 2009. Japan Society for Simulation Technology, JSST

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Computational geometry
Digital arithmetic
3 Citations
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

5 Citations

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

Linear systems
Switches
Java programming language
Computer programming languages
Numerical methods