Research Output 2004 2017

  • 77 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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

2012

Application of Error-Free Transformation for Matrix Multiplication

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

Research output: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

Data storage equipment
Digital arithmetic
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: Research - peer-reviewArticle

Fast Interval Matrix Multiplication without Directed Rounding

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

Research output: Research - peer-reviewArticle

22 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: Research - peer-reviewArticle

Performance Comparison of Accurate Matrix Multiplication

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

Research output: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

Linear systems
Computational methods
Costs
Digital arithmetic

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

General matrix multiplication with guaranteed accuracy

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

Research output: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

2010
10 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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

10 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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

Convex Hull by Verified Computations

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

Research output: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

Tight Inclusion for Matrix Multiplication,

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

Research output: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

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: Research - peer-reviewArticle

Error Free Transformation for Matrix Multiplication

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

Research output: Research - peer-reviewArticle

Fast, Adaptive and Robust Algorithm of Geometric Predicates

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

Research output: Research - peer-reviewArticle