教員が関わった論文です．
国内講演リスト　国際講演リスト

原著論文 Papers

  1. D. Mukunoki, K. Ozaki, T. Ogita, R. Iakymchuk: Conjugate Gradient Solvers with High Accuracy and Bit-wise Reproducibility between CPU and GPU using Ozaki scheme. In Proceedings of International Conference on High Performance Computing in Asia-Pacific Region, HPC Asia 2021 (pp. 100-109). (ACM International Conference Proceeding Series), 2021.
  2. Y. Uchino, K. Ozaki: Verified Numerical Computations for Searching for Vectors with the Maximum Sum, Journal of Advanced Simulation in Science and Engineering, 8:1 (2021), 53-72.
  3. K. Ozaki, T. Terao, T. Ogita, T. Katagiri: Verified numerical computations for large-scale linear systems, Applications of Mathematics, 66:2 (2021), 269-285.
  4. K. Ozaki, T. Ogita: The Essentials of Verified Numerical Computations, Rounding Error Analyses, Interval Arithmetic, and Error-Free Transformations, Nonlinear Theory and Its Applications, IEICE, 11:3 (2020), 279-302.
  5. D. Mukunoki, K. Ozaki, T. Ogita, T. Imamura: DGEMM Using Tensor Cores, and Its Accurate and Reproducible Versions, Lecture Notes in Computer Science, 12151, 2020, 230-248.
  6. T. Terao, K. Ozaki, T. Ogita: LU-Cholesky QR algorithms for thin QR decomposition, Parallel Computing, 92, 2020, 102571.
  7. D. Mukunoki, T. Ogita, K. Ozaki: Reproducible BLAS Routines with Tunable Accuracy Using Ozaki Scheme for Many-Core Architectures, Lecture Notes in Computer Science, 12043, 2020, 516-527.
  8. T. Hoshi, T. Ogita, K. Ozaki, T. Terao: An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations, Journal of Computational and Applied Mathematics, 376 (2020), 112830.
  9. 落合 涼太, 寺尾 剛史, 尾崎 克久，精度保証理論に基づいた連立一次方程式に対する高信頼な数値解の出力法，日本応用数理学会論文誌 30:1 (2020), pp.71-121.
  10. 小林 亮太, 尾崎 克久：浮動小数点演算における最適な符号付き相対誤差，日本応用数理学会論文誌，29:4 (2019), pp.395-407.
  11. 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.
  12. 太田 悠暉, 尾崎 克久：計算値の大小関係を保証する浮動小数点フィルタ，日本応用数理学会論文誌，28:1(2018), pp.1-17.
  13. K. Ozaki, T. Ogita: Generation of Linear Systems with Specified Solutions for Numerical Experiments, Reliable Computing, Vol. 25, 2017, pp. 148-167.
  14. 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.
  15. 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.
  16. 樋口裕幸, 尾崎克久：浮動小数点演算による内積の丸め誤差解析，日本応用数理学会論文誌，26:2(2016), pp.182-212.
  17. 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.
  18. 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.
  19. 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.
  20. 太田悠暉，尾崎克久：点と有向直線の位置関係に対する浮動小数点フィルタの実数入力への拡張と凸包への応用，日本応用数理学会論文誌，24:4(2014)，pp. 373-395．
  21. 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.
  22. 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.
  23. 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).
  24. 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.
  25. 尾崎克久，荻田武史，大石進一：有向丸めの変更を使用しないタイトな行列積の包含方法，応用数理, 21巻3号 (2011)，pp.22-32.
  26. 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.
  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. 尾崎克久，荻田武史，S. M. Rump，大石進一：点と平面の位置関係を判定する高速かつロバストなアルゴリズム，日本応用数理学会論文誌16:4(2006)，pp. 195-204．