Research Output 2004 2017

  • 81 Citations
  • 5 h-Index
  • 56 Article
  • 3 Conference contribution
Filter
Article
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
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
5 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, S. I. 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

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
11 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

11 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

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

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

Error Free Transformation for Matrix Multiplication

Ozaki, K., Ogita, T., Rump, S. M. & Oishi, S. 2007 Oct 12 In : Default journal.

Research output: Contribution to journalArticle

Fast, Adaptive and Robust Algorithm of Geometric Predicates

Ozaki, K., Ogita, T. & Oishi, S. 2007 Feb 27 In : Default journal.

Research output: Contribution to journalArticle