Waseda University · School of Fundamental Science and Engineering / Graduate School of Fundamental Science and Engineering · 教授

Research keywordsverified numerics・accurate matrix multiplication・interval analysis・reproducible solvers・sparse linear systems

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• On a quality measure for interval inclusions2024 · Siegfried M. Rump, Takeshi Ogita
• Verified Error Bounds for Matrix Decompositions2024 · Siegfried M. Rump, Takeshi Ogita
• Extension of accurate numerical algorithms for matrix multiplication based on error-free transformation2024 · Katsuhisa Ozaki, Daichi Mukunoki, Takeshi Ogita
• Infinite-Precision Inner Product and Sparse Matrix-Vector Multiplication Using Ozaki Scheme with Dot2 on Manycore Processors2023 · Daichi Mukunoki, Katsuhisa Ozaki, Takeshi Ogita, Toshiyuki Imamura

• 超大規模行列関数計算法の確立2025 · 日本学術振興会 科学研究費助成事業
• 数値線形代数の数値解に対する厳密精度評価の基盤形成2023 · 日本学術振興会 科学研究費助成事業
• 階層的低ランク近似による高速・高精度な固有値計算と大規模電子状態計算への応用2022 · 日本学術振興会 科学研究費助成事業
• 3次元領域におけるレイノルズ数の大きい流れの計算機援用証明2021 · 日本学術振興会 科学研究費助成事業

• Official profile