|
発表年月
|
タイトル／共同研究者
|
掲載誌
|
巻・号・頁
|
学術機関等
|
| 2025/04 |
Method for verifying solutions of sparse linear systems with general coefficients
Takeshi Terao, Katsuhisa Ozaki
|
Applied Mathematics and Computation |
490巻
129204から
129204ページまで
|
Elsevier BV |
| 2025/03 |
Fast Generation of Real-Symmetric Matrices and their Exact Eigenpairs
Yuki Uchino, Katsuhisa Ozaki, Takeshi Terao, Toshiyuki Imamura
|
Journal of Advanced Simulation in Science and Engineering |
12巻
1号
44から
60ページまで
|
Japan Society for Simulation Technology |
| 2025/02 |
Fast and accurate algorithm for matrix multiplication using fused multiply-add
Katsuhisa Ozaki, Toru Koizumi
|
JSIAM Letters |
17巻
13から
16ページまで
|
The Japan Society for Industrial and Applied Mathematics |
| 2025/01 |
Performance enhancement of the Ozaki Scheme on integer matrix multiplication unit
Yuki Uchino, Katsuhisa Ozaki, Toshiyuki Imamura
|
The International Journal of High Performance Computing Applications |
|
SAGE Publications |
| 2024/12 |
Reducing Numerical Precision Requirements in Quantum Chemistry Calculations
William Dawson, Katsuhisa Ozaki, Jens Domke, Takahito Nakajima
|
Journal of Chemical Theory and Computation |
20巻
24号
10826から
10837ページまで
|
American Chemical Society (ACS) |
| 2024/10 |
Extension of accurate numerical algorithms for matrix multiplication based on error-free transformation
Katsuhisa Ozaki, Daichi Mukunoki, Takeshi Ogita
|
Japan Journal of Industrial and Applied Mathematics |
|
Springer Science and Business Media LLC |
| 2024/10 |
Iterative refinement for an eigenpair subset of a real symmetric matrix
Takeshi Terao, Toshiyuki Imamura, Katsuhisa Ozaki
|
JSIAM Letters |
16巻
89から
92ページまで
|
The Japan Society for Industrial and Applied Mathematics |
| 2024/03 |
DGEMM on integer matrix multiplication unit
Hiroyuki Ootomo, Katsuhisa Ozaki, Rio Yokota
|
The International Journal of High Performance Computing Applications |
38巻
4号
297から
313ページまで
|
SAGE Publications |
| 2024/02 |
Mixed-precision conjugate gradient algorithm using the groupwise update strategy
Kensuke Aihara, Katsuhisa Ozaki, Daichi Mukunoki
|
Japan Journal of Industrial and Applied Mathematics |
|
Springer Science and Business Media LLC |
| 2024/01 |
Rigorous domain triangulation for the finite element computation
Ozaki Katsuhisa, Liu Xuefeng
|
JSIAM Letters |
16巻
69から
72ページまで
|
The Japan Society for Industrial and Applied Mathematics |
| 2023/07 |
Acceleration of iterative refinement for singular value decomposition
Yuki Uchino, Takeshi Terao, Katsuhisa Ozaki
|
NUMERICAL ALGORITHMS |
|
SPRINGER |
| 2023/04 |
Infinite-Precision Inner Product and？Sparse Matrix-Vector Multiplication Using Ozaki Scheme with？Dot2 on？Manycore Processors
Daichi Mukunoki, Katsuhisa Ozaki, Takeshi Ogita, Toshiyuki Imamura
|
Parallel Processing and Applied Mathematics |
40から
54ページまで
|
Springer International Publishing |
| 2023/01 |
Inclusion Methods for Multiplication of Three Point Matrices
Yuki Uchino, Katsuhisa Ozaki, Takeshi Terao
|
JOURNAL OF ADVANCED SIMULATION IN SCIENCE AND ENGINEERING |
10巻
1号
83から
101ページまで
|
JAPAN SOC SIMULATION TECHNOLOGY-JSST |
| 2022/07 |
実対称固有値分解に対する反復改良法の高速化
内野, 佑基, 尾崎, 克久, 荻田, 武史
|
情報処理学会論文誌コンピューティングシステム（ACS） |
15巻
1号
1から
12ページまで
|
|
| 2022/05 |
Generation of test matrices with specified eigenvalues using floating-point arithmetic
Katsuhisa Ozaki, Takeshi Ogita
|
NUMERICAL ALGORITHMS |
90巻
1号
241から
262ページまで
|
SPRINGER |
| 2021/08 |
Accurate Matrix Multiplication on Binary128 Format Accelerated by Ozaki Scheme
Daichi Mukunoki, Katsuhisa Ozaki, Takeshi Ogita, Toshiyuki Imamura
|
ACM International Conference Proceeding Series |
|
Association for Computing Machinery |
| 2021/04 |
Verified Numerical Computations for Large-Scale Linear Systems
Katsuhisa Ozaki, Takeshi Terao, Takeshi Ogita, Takahiro Katagiri
|
APPLICATIONS OF MATHEMATICS |
66巻
2号
269から
285ページまで
|
ACAD SCIENCES CZECH REPUBLIC, INST MATHEMATICS |
| 2021/01 |
Verified Numerical Computations for Searching for Vectors with the Maximum Sum
Yuki Uchino, Katsuhisa Ozaki
|
JOURNAL OF ADVANCED SIMULATION IN SCIENCE AND ENGINEERING |
8巻
1号
53から
72ページまで
|
JAPAN SOC SIMULATION TECHNOLOGY-JSST |
| 2021/01 |
Conjugate Gradient Solvers with High Accuracy and Bit-wise Reproducibility between CPU and GPU using Ozaki scheme.
Daichi Mukunoki, Katsuhisa Ozaki, Takeshi Ogita, Roman Iakymchuk
|
HPC Asia 2021: The International Conference on High Performance Computing in Asia-Pacific Region |
100から
109ページまで
|
ACM |
| 2020/03 |
LU-Cholesky QR algorithms for thin QR decomposition in an oblique inner product
Takeshi Terao, Katsuhisa Ozaki, Takeshi Ogita
|
Journal of Physics: Conference Series |
1490巻
1号
12067から
12067ページまで
|
IOP Publishing |
| 2020/02 |
An a posteriori verification method for generalized Hermitian eigenvalue problems in large-scale electronic state calculations
Takeo Hoshi, Takeshi Ogita, Katsuhisa Ozaki, Takeshi Terao
|
J. Comp. Appl. Math. |
376巻
13ページまで
|
|
| 2020/01 |
精度保証理論に基づいた連立一次方程式に対する高信頼な数値解の出力法
落合 涼太, 寺尾 剛史, 尾崎 克久
|
日本応用数理学会論文誌 |
30巻
1号
71から
121ページまで
|
一般社団法人 日本応用数理学会 |
| 2020/01 |
The Essentials of verified numerical computations, rounding error analyses, interval arithmetic, and error-free transformations
Katsuhisa Ozaki, Takeshi Ogita
|
IEICE NONLINEAR THEORY AND ITS APPLICATIONS |
11巻
3号
279から
302ページまで
|
IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG |
| 2020/01 |
DGEMM Using Tensor Cores, and Its Accurate and Reproducible Versions.
Daichi Mukunoki, Katsuhisa Ozaki, Takeshi Ogita, Toshiyuki Imamura
|
High Performance Computing - 35th International Conference(ISC) |
230から
248ページまで
|
Springer |
| 2020/01 |
LU-Cholesky QR algorithms for thin QR decomposition.
Takeshi Terao, Katsuhisa Ozaki, Takeshi Ogita
|
Parallel Comput. |
92巻
102571から
102571ページまで
|
|
| 2019/01 |
浮動小数点演算における最適な符号付き相対誤差
小林 亮太, 尾崎 克久
|
日本応用数理学会論文誌 |
29巻
4号
395から
407ページまで
|
一般社団法人 日本応用数理学会 |
| 2019/01 |
Reproducible BLAS Routines with Tunable Accuracy Using Ozaki Scheme for Many-Core Architectures.
Daichi Mukunoki, Takeshi Ogita, Katsuhisa Ozaki
|
Parallel Processing and Applied Mathematics - 13th International Conference |
516から
527ページまで
|
Springer |
| 2018/01 |
計算値の大小関係を保証する浮動小数点フィルタ
太田 悠暉, 尾崎 克久
|
日本応用数理学会論文誌 |
28巻
1号
1から
17ページまで
|
|
| 2018/01 |
Threaded Accurate Matrix-Matrix Multiplications with Sparse Matrix-Vector Multiplications.
Shuntaro Ichimura, Takahiro Katagiri, Katsuhisa Ozaki, Takeshi Ogita, Toru Nagai
|
Proceedings of IEEE IPDPSW2018 |
1093から
1102ページまで
|
IEEE Computer Society |
| 2017/01 |
Generation of Linear Systems with Specified Solutions for Numerical Experiments
K. Ozaki, T. Ogita
|
Reliable Computing |
25巻
0号
148から
167ページまで
|
|
| 2017/01 |
Acceleration of a Preconditioning Method for Ill-Conditioned Dense Linear Systems by Use of a BLAS-based Method
Y. Kobayashi, T. Ogita, K. Ozaki
|
Reliable Computing |
25巻
0号
15から
23ページまで
|
|
| 2016/10 |
Error-free transformation of matrix multiplication with a posteriori validation
Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi
|
NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS |
23巻
5号
931から
946ページまで
|
WILEY-BLACKWELL |
| 2016/06 |
Simple floating-point filters for the two-dimensional orientation problem
Katsuhisa Ozaki, Florian Buenger, Takeshi Ogita, Shin'ichi Oishi, Siegfried M. Rump
|
BIT NUMERICAL MATHEMATICS |
56巻
2号
729から
749ページまで
|
SPRINGER |
| 2016/01 |
浮動小数点演算による内積の丸め誤差解析
樋口裕幸, 尾崎克久
|
日本応用数理学会論文誌 |
26巻
2号
182から
212ページまで
|
一般社団法人 日本応用数理学会 |
| 2015/11 |
Improvement of error-free splitting for accurate matrix multiplication
Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi
|
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS |
288巻
0号
127から
140ページまで
|
ELSEVIER SCIENCE BV |
| 2015/01 |
Accelerating interval matrix multiplication by mixed precision arithmetic
K. Ozaki, T. Ogita, F. Bunger, S. Oishi
|
Nonlinear Theory and its Applications |
6巻
3号
364から
376ページまで
|
一般社団法人 電子情報通信学会 |
| 2014/01 |
点と有向直線の位置関係に対する浮動小数点フィルタの実数入力への拡張と凸包への応用
太田悠暉, 尾崎克久
|
日本応用数理学会論文誌 |
24巻
4号
373から
395ページまで
|
一般社団法人 日本応用数理学会 |
| 2013/01 |
Generalization of Error-Free Transformation for Matrix Multiplication and its Application
K. Ozaki, T. Ogita, S. Oishi, S. M. Rump
|
Nonlinear Theory and its Applications |
4巻
1号
2から
11ページまで
|
一般社団法人 電子情報通信学会 |
| 2013/01 |
Verification methods for linear systems using ufp estimation with rounding-to-nearest
Y. Morikura, K. Ozaki, S. Oishi
|
Nonlinear Theory and its Applications |
4巻
1号
12から
22ページまで
|
一般社団法人 電子情報通信学会 |
| 2012/07 |
A robust algorithm for geometric predicate by error-free determinant transformation
Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi
|
INFORMATION AND COMPUTATION |
216巻
0号
3から
13ページまで
|
ACADEMIC PRESS INC ELSEVIER SCIENCE |
| 2012/01 |
Matrix Multiplication with Guaranteed Accuracy by Level 3 BLAS
Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi
|
INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2009 (ICCMSE 2009) |
1504巻
1128から
1133ページまで
|
AMER INST PHYSICS |
| 2012/01 |
Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications
Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi, Siegfried M. Rump
|
NUMERICAL ALGORITHMS |
59巻
1号
95から
118ページまで
|
SPRINGER |
| 2012/01 |
Fast algorithms for floating-point interval matrix multiplication
Katsuhisa Ozaki, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
|
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS |
236巻
7号
1795から
1814ページまで
|
ELSEVIER SCIENCE BV |
| 2011/03 |
An algorithm for automatically selecting a suitable verification method for linear systems
Katsuhisa Ozaki, Takeshi Ogita, Shin&apos,ichi Oishi
|
NUMERICAL ALGORITHMS |
56巻
3号
363から
382ページまで
|
SPRINGER |
| 2011/03 |
Tight and efficient enclosure of matrix multiplication by using optimized BLAS
Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi
|
NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS |
18巻
2号
237から
248ページまで
|
WILEY-BLACKWELL |
| 2011/01 |
有向丸めの変更を使用しないタイトな行列積の包含方法
尾崎 克久, 荻田 武史, 大石 進一
|
応用数理 |
21巻
3号
186から
196ページまで
|
一般社団法人 日本応用数理学会 |
| 2010/01 |
Exact 2D Convex Hull for Floating-point Data
Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi
|
REC 2010: PROCEEDINGS OF THE 4TH INTERNATIONAL WORKSHOP ON RELIABLE ENGINEERING COMPUTING: ROBUST DESIGN - COPING WITH HAZARDS,
RISK AND UNCERTAINTY
|
282から
292ページまで
|
RESEARCH PUBLISHING SERVICES |
| 2009/10 |
Adaptive and Efficient Algorithm for 2D Orientation Problem
Katsuhisa Ozaki, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
|
JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS |
26巻
2-3号
215から
231ページまで
|
SPRINGER JAPAN KK |
| 2009/01 |
Robustness problems and verified computations for computational geometry
Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi
|
Asia Simulation Conference 2009, JSST 2009 |
|
Japan Society for Simulation Technology, JSST |
| 2007/02 |
A method of obtaining verified solutions for linear systems suited for Java
K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S. M. Rump
|
JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS |
199巻
2号
337から
344ページまで
|
ELSEVIER SCIENCE BV |
| 2006/01 |
点と平面との位置関係を判定する高速かつロバストなアルゴリズム(実用,計算の品質,<特集>平成18年研究部会連合発表会)
尾崎 克久, 荻田 武史, Rump Siegfried M., 大石 進一
|
日本応用数理学会論文誌 |
16巻
4号
553から
562ページまで
|
一般社団法人 日本応用数理学会 |