教員が関わった論文です.

原著論文 Papers

  1. S. Ichimura, T. Katagiri, K. Ozaki, T. Ogita, T. Nagai: Threaded Accurate Matrix-Matrix Multiplications with Sparse Matrix-Vector Multiplications, 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), IEEE, 2018.
  2. 太田 悠暉, 尾崎 克久:計算値の大小関係を保証する浮動小数点フィルタ,日本応用数理学会論文誌,28:1(2018), pp.1-17.
  3. K. Ozaki, T. Ogita: Generation of Linear Systems with Specified Solutions for Numerical Experiments, Reliable Computing, Vol. 25, 2017, pp. 148-167.
  4. Y. Kobayashi, T. Ogita, K. Ozaki: Acceleration of a Preconditioning Method for Ill-Conditioned Dense Linear Systems by Use of a BLAS-based Method, Reliable Computing, Vol. 25, 2017, pp.15-23.
  5. K. Ozaki, T. Ogita, S. Oishi: Error-free transformation of matrix multiplication with a posteriori validation, Numerical Linear Algebra with Applications, 23(5), 2016, pp. 931-946.
  6. 樋口裕幸, 尾崎克久:浮動小数点演算による内積の丸め誤差解析,日本応用数理学会論文誌,26:2(2016), pp.182-212.
  7. K. Ozaki, T. Ogita, F. Bunger, S. Oishi, S. M. Rump: Simple floating-point filters for the two-dimensional orientation problem, BIT Numerical Mathematics, Vol. 56(2), 2016, pp 729-749.
  8. K. Ozaki, T. Ogita, S. Oishi: Improvement of error-free splitting for accurate matrix multiplication, Journal of Computational and Applied Mathematics, 288 (2015), pp. 127-140.
  9. K. Ozaki, T. Ogita, F. Bunger, S. Oishi: Accelerating interval matrix multiplication by mixed precision arithmetic, Nonlinear Theory and its Applications, IEICE, Vol. 6:3 (2015), pp. 364-376.
  10. 太田悠暉,尾崎克久:点と有向直線の位置関係に対する浮動小数点フィルタの実数入力への拡張と凸包への応用,日本応用数理学会論文誌,24:4(2014),pp. 373-395.
  11. Y. Morikura, K. Ozaki, S. Oishi: Verification methods for linear systems using ufp estimation with rounding-to-nearest, Nonlinear Theory and its Applications, IEICE, Vol. 4:1 (2013), pp. 12-22.
  12. K. Ozaki, T. Ogita, S. Oishi, S. M. Rump: Generalization of Error-Free Transformation for Matrix Multiplication and its Application, Nonlinear Theory and its Applications, IEICE, Vol. 4:1 (2013), pp. 2-11.
  13. K. Ozaki, T. Ogita, S. Oishi: A robust algorithm for geometric predicate by error-free determinant transformation, Information and Computation, 216 (2012), pp. 3-13. (DOI: 10.1016/j.ic.2011.09.007).
  14. K. Ozaki, T. Ogita, S. M. Rump, S. Oishi: Fast Algorithms for Floating-point Interval Matrix Multiplication, Journal of Computational and Applied Mathematics, 236 (2012), pp. 1795-1814.
  15. 尾崎克久,荻田武史,大石進一:有向丸めの変更を使用しないタイトな行列積の包含方法,応用数理, 21巻3号 (2011),pp.22-32.
  16. K. Ozaki, T. Ogita, S. Oishi, S. M. Rump: Error-Free Transformation of Matrix Multiplication by Using Fast Routines of Matrix Multiplication and its Applications, Numerical Algorithms, Vol. 59:1 (2012), pp. 95-118.
  17. K. Ozaki, T. Ogita, S. Oishi: Tight and efficient enclosure of matrix multiplication by using optimized BLAS, Numerical Linear Algebra With Applications, Vol. 18:2 (2011), pp. 237-248.
  18. K. Ozaki, T. Ogita, S. Oishi: An Algorithm for Automatically Selecting a Suitable Verification Method for Linear Systems, Numerical Algorithms, Volume 56, Number 3 (2011), pp. 363-382.
  19. K. Ozaki, T. Ogita, S. M. Rump, S. Oishi: Adaptive and Efficient Algorithm for 2D Orientation Problem, Japan J. Indust. Appl. Math., 26 (2009), pp. 215-231.
  20. K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S. M. Rump: A Method of Obtaining Verified Solutions for Linear Systems Suited for Java, Journal of Computational and Applied Mathematics, 199:2 (2007), pp. 337-344.
  21. 尾崎克久,荻田武史,S. M. Rump,大石進一:点と平面の位置関係を判定する高速かつロバストなアルゴリズム,日本応用数理学会論文誌16:4(2006),pp. 195-204.