Ogita Takeshi 荻田武史

… Alternative Names

OGITA Takeshi 荻田武史

Less

Researcher Number	00339615
Other IDs
Affiliation (Current)	2025: 早稲田大学, 理工学術院, 教授
Affiliation (based on the past Project Information) *help	2023 – 2024: 早稲田大学, 理工学術院, 教授 2018 – 2023: 東京女子大学, 現代教養学部, 教授 2016 – 2017: 東京女子大学, 現代教養学部, 准教授 2010 – 2014: Tokyo Woman's Christian University, 現代教養学部, 准教授 2009: Tokyo Woman's Christian University, 現代教養学部, 講師 … More 2008: Tokyo Woman's Christian University, 文理学部, 講師 2007: Waseda University, 理工学術院, 准教授 2004 – 2006: 早稲田大学, 理工学術院, 講師 Less
Review Section/Research Field	Principal Investigator Fundamental theory of informatics / Computational science Except Principal Investigator Basic Section 60090:High performance computing-related / Sections That Are Subject to Joint Review: Basic Section60040:Computer system-related , Basic Section60090:High performance computing-related / Basic Section 60040:Computer system-related / Basic Section 12040:Applied mathematics and statistics-related / Medium-sized Section 60:Information science, computer engineering, and related fields / Broad Section J / High performance computing
Keywords	Principal Investigator 高精度計算 / 数値線形代数 / 数値計算手法 / 数値計算 / 情報数理 / 高精度数値線形代数 / 情報基礎 / 行列解析 / アルゴリズム / 悪条件問題 … More / 行列分解 / 精度保証付き数値計算 / 精度保証 / 数値数学 … More Except Principal Investigator 精度保証 / 高性能計算 / 数値線形代数 / 精度保証付き数値計算 / 自動チューニング / 丸め誤差解析 / 浮動小数点演算 / 大規模並列計算 / テスト行列 / 電子状態計算 / H行列 / 固有値問題 / 有限要素法 / Hypercircle法 / Divergence-free条件 / 並列計算 / 鞍点型の固有値問題 / 非自己共役作用素 / 計算機援用証明法 / ナビエ・ストークス方程式の定常解 / 固有値問題の厳密評価 / 厳密計算ライブラリ / 計算機援用証明 / ナビエ・ストークス方程式 / 二重指数関数型積分公式 / 二重指数型積分公式 / 二重指数関数型数値積分公式 / 二重指数関数型数値積分公式（DE公式） / 行列関数 / 反復解法 / 連立一次方程式 / 混合精度演算 / 高性能・高信頼性・省電力アルゴリズム / エクサスケールシステム / 計算科学・データ科学・機械学習の融合 / ヘテロジニアス環境 / 混合精度演算・精度保証 / データ駆動型アプローチ / 大規模シミュレーション / 「計算・データ・学習」融合 / ヘテロジニアスコンピューテイング / ヘテロジニアスコンピューティング / 低精度・混合精度・変動精度演算 / 機械学習 / データ同化 / 計算科学 / スーパーコンピューティング / ハイパフォーマンスコンピューティング / 通信削減アルゴリズム / 行列ｰ行列積 / PBLAS / 疎行列化 / スレッド並列化 / ベンチマーク / 反復改良 / 分散並列化 / 高精度行列-行列積 Less

数値線形代数の数値解に対する厳密精度評価の基盤形成
- Principal Investigator
  
  尾崎克久
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60090:High performance computing-related
  Basic Section 60040:Computer system-related
  Sections That Are Subject to Joint Review: Basic Section60040:Computer system-related , Basic Section60090:High performance computing-related
- Research Institution
  Shibaura Institute of Technology
Fast and accurate eigenvalue calculations by hierarchical low-rank approximation and its application to large-scale electronic structure calculations
- Principal Investigator
  
  横田理央
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60090:High performance computing-related
- Research Institution
  Institute of Science Tokyo
Computer-assisted solution verification for 3D flows with large Reynolds numbers
- Principal Investigator
  
  劉雪峰
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Tokyo Woman's Christian University
  Niigata University
Fusion of Iterative Solvers for Linear Equations with Sparse Matrices and Verified Numerical Computation Methods
- Principal Investigator
  
  Ozaki Katsuhisa
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60090:High performance computing-related
- Research Institution
  Shibaura Institute of Technology
物理学・情報科学に共通する大規模行列関数の総合的数値計算法の創成
- Principal Investigator
  
  曽我部知広
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Nagoya University
Innovative Methods for Scientific Computing in the Exascale Era by Integrations of (Simulation+Data+Learning)
- Principal Investigator
  
  Nakajima Kengo
- Project Period (FY)
  2019 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Review Section
  
  Broad Section J
- Research Institution
  The University of Tokyo
Development of accurate algorithms for numerical linear algebraPrincipal Investigator
- Principal Investigator
  
  Ogita Takeshi
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Computational science
- Research Institution
  Tokyo Woman's Christian University
Development of Technologies of High Performance Computing for Accuracy Assurance
- Principal Investigator
  
  KATAGIRI TAKAHIRO
- Project Period (FY)
  2016 – 2017
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  High performance computing
- Research Institution
  Nagoya University
Development of robust and efficient algorithms in numerical linear algebraPrincipal Investigator
- Principal Investigator
  
  OGITA Takeshi
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tokyo Woman's Christian University
Research on fast and accurate verified numerical computations for large-scale systems of linear equationsPrincipal Investigator
- Principal Investigator
  
  OGITA Takeshi
- Project Period (FY)
  2007 – 2010
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tokyo Woman's Christian University
  Waseda University
大規模疎行列系連立一次方程式の数値解の高速な精度保証法に関する研究Principal Investigator
- Principal Investigator
  
  荻田武史
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Waseda University

[Book] ソフトウェア自動チューニング2021
- Author(s)
  今村俊幸、荻田武史、尾崎克久、片桐孝洋、須田礼仁、高橋大介、滝沢寛之、中島研吾
- Total Pages
  320
- Publisher
  森北出版
- ISBN
  9784627872219
- Data Source
  KAKENHI-PROJECT-19H05662
[Book] ソフトウェア自動チューニング2021
- Author(s)
  今村俊幸、荻田武史、尾崎克久、片桐孝洋、須田礼仁、高橋大介、滝沢寛之、中島研吾
- Total Pages
  320
- Publisher
  森北出版
- ISBN
  9784627872219
- Data Source
  KAKENHI-PROJECT-20H00581
[Journal Article] On a quality measure for interval inclusions2024
- Author(s)
  S. M. Rump, T. Ogita
- Journal Title
  
  BIT Numerical Mathematics, accepted for publication, 2024.
  
  Volume: accepted
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H05662
[Journal Article] 最適演算精度選択のための検討2023
- Author(s)
  中島研吾，荻田武史，河合直聡
- Journal Title
  
  情報処理学会研究報告第188回HPC研究会
  
  Volume: 2023-HPC-188
- Data Source
  KAKENHI-PROJECT-19H05662
[Journal Article] 実対称固有値分解に対する反復改良法の高速化2022
- Author(s)
  内野佑基, 尾崎克久, 荻田武史
- Journal Title
  
  情報処理学会論文誌：コンピューティングシステム
  
  Volume: 15:1 Pages: 1-12
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19H05662
[Journal Article] 実対称固有値分解に対する反復改良法の高速化2022
- Author(s)
  内野佑基，尾崎克久，荻田武史
- Journal Title
  
  情報処理学会論文誌，コンピューティングシステム
  
  Volume: 15 Pages: 1-12
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H04195
[Journal Article] Generation of test matrices with specified eigenvalues using floating-point arithmetic2022
- Author(s)
  Ozaki Katsuhisa、Ogita Takeshi
- Journal Title
  
  Numerical Algorithms
  
  Volume: 90 Issue: 1 Pages: 241-262
- DOI
  10.1007/s11075-021-01186-7
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20H00581, KAKENHI-PROJECT-20H04195, KAKENHI-PROJECT-19H05662
[Journal Article] Verified numerical computations for large-scale linear systems2021
- Author(s)
  Ozaki, T., Terao, T., Ogita, T., Katagiri, T.
- Journal Title
  
  Applications of Mathematics
  
  Volume: 66-2 Issue: 2 Pages: 269-285
- DOI
  10.21136/am.2021.0318-19
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H05662, KAKENHI-PROJECT-20H00581
[Journal Article] Efficient Parallel Multigrid Methods on Manycore Clusters with Double/Single Precision Computing2021
- Author(s)
  Nakajima Kengo、Ogita Takseshi、Kawai Masatoshi
- Journal Title
  
  IEEE Proceedings of iWAPT 2021 in conjunction with IPDPS 2021
  
  Volume: - Pages: 1-12
- DOI
  10.1109/ipdpsw52791.2021.00114
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H05662
[Journal Article] Modified error bounds for approximate solutions of dense linear systems2020
- Author(s)
  Minamihata Atsushi、Ogita Takeshi、Rump Siegfried M.、Oishi Shin’ichi
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 369 Pages: 112546-112546
- DOI
  10.1016/j.cam.2019.112546
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K12692, KAKENHI-PROJECT-20H04195
[Journal Article] LU-Cholesky QR algorithms for thin QR decomposition2020
- Author(s)
  Terao, T., Ozaki, K., Ogita, T.
- Journal Title
  
  Parallel Computing
  
  Volume: 92 Pages: 1-11
- DOI
  10.1016/j.parco.2019.102571
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H05662, KAKENHI-PROJECT-20H00581
[Journal Article] An a posteriori verification method for generalized Hermitian eigenvalue problems in large-scale electronic state calculations2020
- Author(s)
  Takeo Hoshi,Takeshi Ogita,Katsuhisa Ozaki,Takeshi Terao
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 376 Pages: 1-13
- DOI
  10.1016/j.cam.2020.112830
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04125, KAKENHI-PROJECT-19H05662
[Journal Article] 低精度・混合精度演算による高性能・高信頼性疎行列ソルバー2020
- Author(s)
  中島研吾，荻田武史，塙敏博，河合直聡，伊田明弘，星野哲也
- Journal Title
  
  情報処理学会研究報告（2020-HPC-175-2）
  
  Volume: 175 Pages: 1-8
- Open Access
- Data Source
  KAKENHI-PROJECT-19H05662
[Journal Article] Reproducible BLAS routines with tunable accuracy using Ozaki scheme for many-core architectures2020
- Author(s)
  Mukunoki, D., Ogita, T., Ozaki, K.
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12043 Pages: 516-527
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H05662
[Journal Article] h3-Open-BDEC: Innovative Software Platform for Scientific Computing in the Exascale Era by Integrations of (Simulation + Data + Learning)2020
- Author(s)
  Iwashita, T, Nakajima, K., Shimokawabe, T., Nagao, H., Ogita, T., Katagiri, T., Yashiro, H., Matsuba
- Journal Title
  
  Project Poster, ISC-HPC 2020
  
  Volume: N/A Pages: 1-1
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H05662
[Journal Article] Performance and energy consumption of accurate and mixed-precision linear algebra kernels on GPUs2020
- Author(s)
  Mukunoki, D., Ogita, T.
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 372 Pages: 1-12
- DOI
  10.1016/j.cam.2019.112701
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H05662, KAKENHI-PROJECT-20H04195
[Journal Article] Iterative refinement for singular value decomposition based on matrix multiplication2020
- Author(s)
  T. Ogita, K. Aishima
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 369 Pages: 112512-112512
- DOI
  10.1016/j.cam.2019.112512
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20H04195, KAKENHI-PROJECT-20H00581
[Journal Article] Iterative refinement for symmetric eigenvalue decomposition II: clustered eigenvalues2019
- Author(s)
  Ogita Takeshi、Aishima Kensuke
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 印刷中 Issue: 2 Pages: 435-459
- DOI
  10.1007/s13160-019-00348-4
- NAID
  210000174658
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16H03917, KAKENHI-PROJECT-17H02826
[Journal Article] Iterative refinement for symmetric eigenvalue decomposition2018
- Author(s)
  Ogita Takeshi、Aishima Kensuke
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 35 Issue: 3 Pages: 1007-1035
- DOI
  10.1007/s13160-018-0310-3
- NAID
  210000169527
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K14143, KAKENHI-PROJECT-16H03917
[Journal Article] Threaded Accurate Matrix-Matrix Multiplications with Sparse Matrix-Vector Multiplications2018
- Author(s)
  Shuntaro Ichimura,Takahiro Katagiri, Katsuhisa Ozaki, Takeshi Ogita, Toru Nagai
- Journal Title
  
  Proceedings of IEEE IPDPSW2018
  
  Volume: - Pages: 1-10
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K12432
[Journal Article] Generation of Linear Systems with Specified Solutions for Numerical Experiments2017
- Author(s)
  K. Ozaki, T. Ogita
- Journal Title
  
  Reliable Computing
  
  Volume: 25 Pages: 148-167
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16H03917
[Journal Article] Acceleration of a preconditioning method for ill-conditioned dense linear systems by use of a BLAS-based method2017
- Author(s)
  Y. Kobayashi, T. Ogita, K. Ozaki
- Journal Title
  
  Reliable Computing
  
  Volume: 25 Pages: 15-23
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16H03917
[Journal Article] HPC分野における精度保証付き数値計算学の展開2017
- Author(s)
  荻田武史, 尾崎克久, 柏木雅英, 片桐孝洋
- Journal Title
  
  研究報告ハイパフォーマンスコンピューティング（HPC）
  
  Volume: 2017-HPC-160 Pages: 1-5
- Data Source
  KAKENHI-PROJECT-16K12432
[Journal Article] マルチコア計算機による高精度行列‐行列積アルゴリズムの性能評価2017
- Author(s)
  市村駿太郎、片桐孝洋、尾崎克久、荻田武史、永井亨、荻野正雄
- Journal Title
  
  研究報告ハイパフォーマンスコンピューティング（HPC）
  
  Volume: 2017-HPC-160 Pages: 1-8
- Data Source
  KAKENHI-PROJECT-16K12432
[Journal Article] Accurate and efficient algorithm for solving ill-conditioned linear systems by preconditioning methods2016
- Author(s)
  Y. Kobayashi, T. Ogita
- Journal Title
  
  NOLTA
  
  Volume: 7 Issue: 3 Pages: 374-385
- DOI
  10.1587/nolta.7.374
- NAID
  130005161826
- ISSN
  2185-4106
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16H03917
[Journal Article] Interval arithmetic with fixed rounding mode2016
- Author(s)
  S. M. Rump, T. Ogita, Y. Morikura, S. Oishi
- Journal Title
  
  NOLTA
  
  Volume: 7 Issue: 3 Pages: 362-373
- DOI
  10.1587/nolta.7.362
- NAID
  130005161827
- ISSN
  2185-4106
- Language
  English
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917, KAKENHI-PROJECT-15K15939
[Journal Article] Error-free transformation of matrix multiplication with a posteriori validation2016
- Author(s)
  K. Ozaki, T. Ogita, S. Oishi
- Journal Title
  
  Numerical Linear Algebra with Applications
  
  Volume: 23 Issue: 5 Pages: 931-946
- DOI
  10.1002/nla.2061
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16H03917
[Journal Article] A fast and efficient algorithm for solving ill-conditioned linear systems2015
- Author(s)
  Y. Kobayashi, T. Ogita
- Journal Title
  
  JSIAM Letters
  
  Volume: 7 Issue: 0 Pages: 1-4
- DOI
  10.14495/jsiaml.7.1
- NAID
  130004953464
- ISSN
  1883-0609, 1883-0617
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23700023
[Journal Article] Fast verified solutions of sparse linear systems with H-matrices2013
- Author(s)
  A. Minamihata, K. Sekine, T. Ogita, S. Oishi
- Journal Title
  
  Reliable Computing
  
  Volume: 19 Pages: 127-141
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700023
[Journal Article] Convergence analysis of accurate inverse Cholesky factorization2013
- Author(s)
  Y. Yanagisawa, T. Ogita
- Journal Title
  
  JSIAM Letters
  
  Volume: 5 Pages: 25-28
- NAID
  130003371116
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700023
[Journal Article] Generalization of error-free transformation for matrix multiplication and its application2013
- Author(s)
  K. Ozaki, T. Ogita, S. Oishi, S. M. Rump
- Journal Title
  
  NOLTA
  
  Volume: 4 Issue: 1 Pages: 2-11
- DOI
  10.1587/nolta.4.2
- NAID
  130003375409
- ISSN
  2185-4106
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700023
[Journal Article] Error-Free Transformation of Matrix Multiplication by Using Fast Routines of Matrix Multiplication and its Applications2012
- Author(s)
  K. Ozaki, T. Ogita, S. Oishi, S. M. Rump
- Journal Title
  
  Numerical Algorithms
  
  Volume: 59 Issue: 1 Pages: 95-118
- DOI
  10.1007/s11075-011-9478-1
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700023
[Journal Article] Accurate and Verified Numerical Computation of the Matrix Determinant2012
- Author(s)
  T. Ogita
- Journal Title
  
  International Journal of Reliability and Safety
  
  Volume: 6 Issue: 1/2/3 Pages: 242-254
- DOI
  10.1504/ijrs.2012.044287
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700023
[Journal Article] Matrix multiplication with guaranteed accuracy by level 3 BLAS2012
- Author(s)
  K. Ozaki, T. Ogita, S. Oishi
- Journal Title
  
  AIP Conference Proceedings
  
  Volume: 1504 Pages: 1128-1133
- DOI
  10.1063/1.4772125
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700023
[Journal Article] Accurate and robust inverse Cholesky factorization2012
- Author(s)
  T. Ogita, S. Oishi
- Journal Title
  
  NOLTA
  
  Volume: 3 Issue: 1 Pages: 103-111
- DOI
  10.1587/nolta.3.103
- NAID
  130002139440
- ISSN
  2185-4106
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700023
[Journal Article] Robust computation of determinant2012
- Author(s)
  T. Ogita
- Journal Title
  
  AIP Conference Proceedings
  
  Volume: 1504 Pages: 1119-1123
- DOI
  10.1063/1.4772123
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700023
[Journal Article] Accurate Matrix Factorization : Inverse LU and Inverse QR Factorizations2010
- Author(s)
  T.Ogita
- Journal Title
  
  SIAM Journal on Matrix Analysis and Applications
  
  Volume: 31 Pages: 2477-2497
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] Accurate Matrix Factorization: Inverse LU and Inverse QR Factorizations2010
- Author(s)
  T.Ogita
- Journal Title
  
  SIAM Journal on Matrix Analysis and Applications 31
  
  Pages: 2477-2497
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problem2010
- Author(s)
  S.Miyajima, T.Ogita, S.M.Rump, S.Oishi
- Journal Title
  
  Reliable Computing
  
  Volume: 14 Pages: 24-45
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] A Fast Verified Automatic Integration Algorithm Using Double Exponential Formula2010
- Author(s)
  N.Yamanaka, T.Okayama, S.Oishi, T.Ogita
- Journal Title
  
  Nonlinear Theory and Its Applications, IEICE
  
  Volume: 1 Pages: 119-132
- NAID
  130000908377
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] Fast High Precision Summation2010
- Author(s)
  S.M.Rump, T.Ogita, S.Oishi
- Journal Title
  
  Nonlinear Theory and Its Applications, IEICE
  
  Volume: 1 Pages: 2-24
- NAID
  130000908368
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] Tight Enclosures of Solutions of Linear Systems2009
- Author(s)
  T.Ogita, S.Oishi
- Journal Title
  
  International Series of Numerical Mathematics 157
  
  Pages: 167-178
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] Fast Verified Solutions of Linear Systems2009
- Author(s)
  T. Ogita, S. Oishi
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics 26:2
  
  Pages: 169-190
- NAID
  10028168887
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] Iterative Refinement for Ill-conditioned Linear Systems2009
- Author(s)
  S. Oishi, T. Ogita, S.M. Rump
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics 26:2
  
  Pages: 465-476
- NAID
  10028169325
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] Fast Verified Solutions of Linear Systems2009
- Author(s)
  T.Ogita, S.Oishi
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics 26
  
  Pages: 169-190
- NAID
  10028168887
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] Tight Enclosures of Solutions of Linear Systems2009
- Author(s)
  T. Ogita, S. Oishi
- Journal Title
  
  International Series of Numerical Mathematics 157
  
  Pages: 167-178
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] Accurate and Robust Inverse Cholesky Factorization2009
- Author(s)
  T.Ogita, S.Oishi
- Journal Title
  
  Proceedings of 2009 International Symposium on Nonlinear Theory and its Applications
  
  Pages: 155-158
- NAID
  130002139440
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] Iterative Refinement for Ill-conditioned Linear Systems2009
- Author(s)
  S.Oishi, T.Ogita, S.M.Rump
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics 26
  
  Pages: 465-476
- NAID
  10028169325
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] Accurate Floating-Point Summation Part I : Faithful Rounding2008
- Author(s)
  S.M.Rump, T.Ogita, S.Oishi
- Journal Title
  
  SIAM Journal on Scientific Computing 31
  
  Pages: 189-224
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] A Parallel Algorithm for Accurate Dot Product2008
- Author(s)
  N. Yamanaka, T. Ogita, S.M. Rump, S. Oishi
- Journal Title
  
  Parallel Computing 34
  
  Pages: 392-410
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] Accurate Floating-Point Summation Part I : Faithful Rounding2008
- Author(s)
  S.M. Rump, T. Ogita, S. Oishi
- Journal Title
  
  SIAM Journal on Scientific Computing 31
  
  Pages: 189-224
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] Accurate Floating-Point Summation Part I: Faithful Rounding2008
- Author(s)
  S.M. Rump, T. Ogita, S. Oishi
- Journal Title
  
  SIAM Journal on Scientific Computing 31:1
  
  Pages: 189-224
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] Accurate Floating-Point Summation Part II: Sign, K-fold Faithful and Rounding to Nearest2008
- Author(s)
  S.M. Rump, T. Ogita, S. Oishi
- Journal Title
  
  SIAM Journal on Scientific Computing 31:2
  
  Pages: 1269-1302
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] Accurate Floating-Point Summation Part II : Sign, K-fold Faithful and Rounding to Nearest2008
- Author(s)
  S.M. Rump, T. Ogita, S. Oishi
- Journal Title
  
  SIAM Journal on Scientific Computing 21
  
  Pages: 1269-1302
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] Accurate Floating-Point Summation Part II : Sign, K-fold Faithful and Rounding to Nearest2008
- Author(s)
  S.M.Rump, T.Ogita, S.Oishi
- Journal Title
  
  SIAM Journal on Scientific Computing 31
  
  Pages: 1269-1302
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] 数値シミュレーションを支える精度保証技術2007
- Author(s)
  大石進一, 荻田武史
- Journal Title
  
  情報処理 48
  
  Pages: 1103-1110
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] A Method of Obtaining Verified Solutions for Linear Systems Suited for Java2007
- Author(s)
  K.Ozaki, T.Ogita, S.Miyajima, S.Oishi, S.M.Rump
- Journal Title
  
  Journal of Computational and Applied Mathematics 199:2
  
  Pages: 337-344
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] Super-fast Validated Solution of Linear Systems2007
- Author(s)
  S.M.Rump, T.Ogita
- Journal Title
  
  Journal of Computational and Applied Mathematics 199:2
  
  Pages: 199-206
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] Convergence of Rump's Method for Inverting Arbitrarily III-conditioned Matrices2007
- Author(s)
  S. Oishi, K. Tanabe, T. Ogita, S.M. Rump
- Journal Title
  
  Journal of Computational and Applied Mathematics 205
  
  Pages: 533-544
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] 精度保証付き数値計算とシミュレーション2007
- Author(s)
  荻田武史, 大石進一
- Journal Title
  
  分子シミュレーション研究会会誌「アンサンブル」 9
  
  Pages: 11-16
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] 行列式の高速な精度保証付き数値計算法2007
- Author(s)
  荻田武史, 尾崎克久, 大石進一
- Journal Title
  
  京大数理解析研究所講究録 1573
  
  Pages: 45-52
- Data Source
  KAKENHI-PROJECT-19700013
[Journal Article] 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法2006
- Author(s)
  大石進一, 荻田武史, 太田貴久
- Journal Title
  
  シミュレーション 25:5
  
  Pages: 170-178
- NAID
  110004811928
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] 連立一次方程式のメモリ量を低減した精度保証付き数値計算法2006
- Author(s)
  荻田武史, 大石進一
- Journal Title
  
  シミュレーション 25:5
  
  Pages: 179-184
- NAID
  110004811929
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] 点と平面との位置関係を判定する高速かつロバストなアルゴリズム2006
- Author(s)
  尾崎克久, 荻田武史, S. M. Rump, 大石進一
- Journal Title
  
  日本応用数理学会論文誌 16:4
  
  Pages: 553-562
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] 実対称行列の各固有対の精度保証付き数値計算法2006
- Author(s)
  宮島信也, 荻田武史, 大石進一
- Journal Title
  
  日本応用数理学会論文誌 16:4
  
  Pages: 535-552
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] 実対称行列の各固有値に対する精度保証付き数値計算法2005
- Author(s)
  宮島信也, 荻田武史, 大石進一
- Journal Title
  
  日本応用数理学会論文誌 15:3
  
  Pages: 253-268
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] 大規模連立一次方程式のための高速精度保証法2005
- Author(s)
  荻田武史, 大石進一
- Journal Title
  
  情報処理学会論文誌:数理モデル化と応用 46:SIG10 (TOM12)
  
  Pages: 10-18
- NAID
  110002768708
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] 悪条件連立一次方程式の精度保証付き数値計算法2005
- Author(s)
  太田貴久, 荻田武史, S.M.Rump, 大石進一
- Journal Title
  
  日本応用数理学会論文誌 15:3
  
  Pages: 269-287
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] A Method of Generating Linear Systems with an Arbitrarily III-conditioned Matrix and an Arbitrary Solution2005
- Author(s)
  S.Miyajima, T.Ogita, S.Oishi
- Journal Title
  
  Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications
  
  Pages: 741-744
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] Accurate Sum and Dot Product2005
- Author(s)
  T.Ogita, S.M.Rump, S.Oishi
- Journal Title
  
  SIAM Journal on Scientific Computing 26:6
  
  Pages: 1955-1988
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] Componentwise Verified Solutions of Linear Systems Suited for Java2005
- Author(s)
  K.Ozaki, T.Ogita, S.Miyajima, S.Oishi, S.M.Rump
- Journal Title
  
  Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications
  
  Pages: 749-752
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] Numerical Verification Method for Dense Linear Systems with Arbitrarily III-conditioned Matrices2005
- Author(s)
  T.Ohta, T.Ogita, S.M.Rump, S.Oishi
- Journal Title
  
  Proceedings of 2005 International Symposium on Nonlinear Theory and its Applications
  
  Pages: 745-748
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] Fast Inclusion of Interval Matrix Multiplication2005
- Author(s)
  T.Ogita, S.Oishi
- Journal Title
  
  Reliable Computing 11:3
  
  Pages: 191-205
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] Fast Verification for Respective Eigenvalues of Symmetric Matrix2005
- Author(s)
  S.Miyajima, T.Ogita, S.Oishi
- Journal Title
  
  Lecture Notes in Computer Science 3718
  
  Pages: 306-317
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法2004
- Author(s)
  丸山晃佐, 荻田武史, 中谷祐介, 大石進一
- Journal Title
  
  電子情報通信学会論文誌 J87-A:8
  
  Pages: 1111-1119
- NAID
  110003311865
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] 拡張Strassen法による連立一次方程式の精度保証2004
- Author(s)
  森山敦史, 荻田武史, 後保範, 大石進一
- Journal Title
  
  京大数理解析研究所講究録 1362
  
  Pages: 47-55
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] 計算機援用証明I2004
- Author(s)
  Siegfried M.Rump (荻田武史訳)
- Journal Title
  
  応用数理 14:3
  
  Pages: 2-11
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] 非対称行列から生成された対称行列に対するCG法2004
- Author(s)
  長谷川秀彦, 曽我部知広, 荻田武史
- Journal Title
  
  京大数理解析研究所講究録 1362
  
  Pages: 6-12
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] 計算機援用証明I2004
- Author(s)
  Siegfried M.Rum(荻田武史訳)
- Journal Title
  
  応用数理 14:3
  
  Pages: 2-11
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] 計算機援用証明II2004
- Author(s)
  Siegfried M.Rump(荻田武史訳)
- Journal Title
  
  応用数理 14:4
  
  Pages: 44-57
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] Accurate Sum and Dot Product with Applications2004
- Author(s)
  T.Ogita, S.M.Rump, S.Oishi
- Journal Title
  
  Proceedings of the 2004 IEEE International Symposium on Computer Aided Control Systems Design
  
  Pages: 152-155
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法2004
- Author(s)
  丸山晃佐, 荻田武史, 中谷祐介, 大石進一
- Journal Title
  
  電子情報通信学会論文誌 J87-A : 8
  
  Pages: 1111-1119
- NAID
  110003311865
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] Fast Error Estimation for Eigenvalues of Symmetric Matrix without Directed Rounding2004
- Author(s)
  S.Miyajima, T.Ogita, K.Ozaki, S.Oishi
- Journal Title
  
  Proceedings of the 2004 International Symposium on Nonlinear Theory and its Applications
  
  Pages: 167-170
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] 計算機援用証明II2004
- Author(s)
  Siegfried M.Rump (荻田武史訳)
- Journal Title
  
  応用数理 14:4
  
  Pages: 44-57
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] Accurate Sum and Dot Product
- Author(s)
  T.Ogita, S.M.Rump, S.Oishi
- Journal Title
  
  SIAM Journal on Scientific Computing (to appear)
- Data Source
  KAKENHI-PROJECT-16700017
[Journal Article] 大規模連立一次方程式のための高速精度保証法
- Author(s)
  荻田武史, 大石進一
- Journal Title
  
  情報処理学会論文誌「数理モデル化と応用」 (to appear)
- NAID
  110002768708
- Data Source
  KAKENHI-PROJECT-16700017
[Presentation] Verified Solutions of Large Sparse Linear Systems Arising from 3D Poisson Equation2023
- Author(s)
  T. Ogita
- Organizer
  International Workshop on "Integration of Simulation/Data/Learning and Beyond"
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H00581
[Presentation] Verified Solutions of Large Sparse Linear Systems Arising from 3D Poisson Equation2023
- Author(s)
  T. Ogita
- Organizer
  International Workshop on Integration of Simulation/Data/Learning and Beyond (45th ASE Seminar)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K28100
[Presentation] Verified Solutions of Large Sparse Linear Systems Arising from 3D Poisson Equation2023
- Author(s)
  Takeshi Ogita
- Organizer
  International Workshop on "Integration of Simulation/Data/Learning and Beyond" (45th ASE Seminar)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H05662
[Presentation] 高性能かつ高信頼な数値計算手法とその応用2023
- Author(s)
  荻田武史
- Organizer
  第15回JHPCNシンポジウム
- Data Source
  KAKENHI-PROJECT-20H00581
[Presentation] Rayleigh quotient and accurate matrix multiplication for eigenvalue problems2022
- Author(s)
  K. Ozaki, D. Mukunoki, T. Ogita
- Organizer
  International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 不等分割による行列積のエラーフリー変換の高精度計算への応用2022
- Author(s)
  尾崎克久, 椋木大地, 荻田武史
- Organizer
  日本応用数理学会2022年度年会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] h3-Open-BDEC: Innovative Software Infrastructure for Scientific Computing in the Exascale Era by Integrations of (Simulation + Data + Learning)2022
- Author(s)
  Nakajima, K., Iwashita, T., Yashiro, H., Nagao, H., Shimokawabe, T., Matsuba, H., Ogita, T., Katagiri, T.
- Organizer
  The 31st International Toki Conference on Plasma and Fusion Research (ITC31)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H05662
[Presentation] 行列積に対する試行型エラーフリー変換に対する誤差の対処法とその応用2022
- Author(s)
  尾崎克久，椋木大地，荻田武史
- Organizer
  日本応用数理学会第18回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] エラーフリー変換を用いた悪条件行列の生成法2021
- Author(s)
  尾崎克久, 荻田武史
- Organizer
  日本応用数理学会第17回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] Verified Numerical Computations for a Standard Eigenvalue Problem Without Directed Rounding2021
- Author(s)
  T. Terao, K. Ozaki, T. Ogita, T. Imamura
- Organizer
  The 40th JSST Annual International Conference on Simulation Technology (JSST2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] Acceleration of Iterative Refinement for Symmetric Eigenvalue Decomposition2021
- Author(s)
  Y. Uchino, K. Ozaki, T. Ogita
- Organizer
  The 40th JSST Annual International Conference on Simulation Technology (JSST2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] Iterative Refinement and Verified Numerical Linear Algebra2021
- Author(s)
  T. Ogita
- Organizer
  SIAM Conference on Applied Linear Algebra (LA21)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H00581
[Presentation] Acceleration of Error-Free Transformation of Matrix Multiplication using GPU Tensor Cores2021
- Author(s)
  K. Ozaki, D. Mukunoki, T. Ogita
- Organizer
  The 40th JSST Annual International Conference on Simulation Technology (JSST2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 実対称固有値分解に対する反復改良法の高速化2021
- Author(s)
  内野佑基, 尾崎克久, 荻田武史
- Organizer
  日本応用数理学会2021年度年会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 「計算・データ・学習」融合スーパーコンピュータシステム「Wisteria/BDEC- 01」の概要2021
- Author(s)
  中島研吾，塙敏博，下川辺隆史，伊田明弘，芝隼人，三木洋平，星野哲也，有間英志，河合直聡，坂本龍一，近藤正章，岩下武史，八代尚，長尾大道，松葉浩也，荻田武史，片桐孝洋，古村孝志，鶴岡弘，市村強，藤田航平
- Organizer
  情報処理学会研究報告（2021-HPC-179-1）
- Data Source
  KAKENHI-PROJECT-19H05662
[Presentation] Interval Matrix Multiplication Using Fast Low-Precision Arithmetic on GPU2021
- Author(s)
  K. Ozaki, T. Ogita, D. Mukunoki
- Organizer
  The theme of the 9th International Workshop on Reliable Engineering Computing (REC2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 高速かつ高精度な行列積計算を用いた固有値と特異値の計算法2021
- Author(s)
  尾崎克久, 荻田武史, 椋木大地
- Organizer
  2021年並列／分散／協調処理に関するサマー・ワークショップ (SWoPP2021)
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] Efficient Parallel Multigrid Methods on Manycore Clusters with Double/Single Precision Computing2021
- Author(s)
  K. Nakajima, T. Ogita, M. Kawai
- Organizer
  2021 IEEE International Parallel and Distributed >> Processing Symposium Workshops (IPDPSW)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] Wisteria/BDEC-01 & h3-Open-BDEC: Innovative Scientific Computing in the Exascale Era2021
- Author(s)
  Nakajima K., Iwashita T., Yashiro H., Shimokawabe T., Nagao H., Matsuba H., Ogita T., Katagiri T.
- Organizer
  ARM SVE for HPC, 18th ACM International Conference on Computing Frontiers (CF’21)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H05662
[Presentation] Integration of (Simulation +Data+Learning) for Innovative Scientific Computing by h3-Open-BDEC on Wisteria/BDEC-012021
- Author(s)
  Nakajima K., Iwashita T., Yashiro H., Shimokawabe T., Nagao H., Matsuba H., Ogita T., Katagiri T.
- Organizer
  Arm HPC User’s Group (AHUG) Workshop, ISC High Performance 2021 Digital
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H05662
[Presentation] Accurately Verified Numerical Solutions of Large Sparse Linear Systems Arising from 3D Poisson Equation2021
- Author(s)
  Takeshi Ogita
- Organizer
  International Workshop on the Integration of (Simulation + Data + Learning) : Towards Society 5.0 by h3-Open-BDEC
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H05662
[Presentation] 疎行列に対する逆行列のノルムデータとその活用法2021
- Author(s)
  尾崎克久, 荻田武史
- Organizer
  日本応用数理学会第17回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] Iterative Refinement and Verified Numerical Linear Algebra2021
- Author(s)
  T. Ogita
- Organizer
  SIAM Conference on Applied Linear Algebra (LA21)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] 高精度行列積を用いて固有ベクトル行列から固有値を計算する方法について2020
- Author(s)
  尾崎克久，荻田武史，椋木大地
- Organizer
  「行列・固有値問題の解法とその応用」研究部会第30回研究会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] GPUの単精度演算・Tensorコアを用いた行列積のエラーフリー変換2020
- Author(s)
  尾崎克久，椋木大地，荻田武史
- Organizer
  日本応用数理学会年会
- Data Source
  KAKENHI-PROJECT-20H04195
[Presentation] （計算＋データ＋学習）融合によるエクサスケール時代の革新的シミュレーション手法2020
- Author(s)
  中島研吾，岩下武史，八代尚，下川辺隆史，松葉浩也，長尾大道，荻田武史，片桐孝洋
- Organizer
  第25回計算工学講演会
- Data Source
  KAKENHI-PROJECT-19H05662
[Presentation] h3-Open-BDEC: Innovative Software Platform for Scientific Computing in the Exascale Era by Integrations of (Simulation + Data + Learning)2020
- Author(s)
  Iwashita, T, Nakajima, K., Shimokawabe, T., Nagao, H., Ogita, T., Katagiri, T., Yashiro, H., Matsuba, H.
- Organizer
  International Conference on High Performance Computing in Asia-Pacific Region (HPC Asia 2020) (poster)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H05662
[Presentation] （計算＋データ＋学習）融合によるエクサスケール時代の革新的シミュレーション手法2020
- Author(s)
  中島研吾，岩下武史，八代尚，下川辺隆史，長尾大道，荻田武史，片桐孝洋，松葉浩也
- Organizer
  第12回自動チューニング技術の現状と応用に関するシンポジウム（ATTA2020）
- Data Source
  KAKENHI-PROJECT-19H05662
[Presentation] Verified solutions of large sparse linear systems arising from 3D Poisson equation in HPC environments2019
- Author(s)
  Ogita, T., Nakajima, K.
- Organizer
  European Numerical Mathematics and Advanced Applications Conference 2019 (EnuMath 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H05662
[Presentation] Iterative Refinement for Singular Value Decomposition2019
- Author(s)
  T. Ogita
- Organizer
  SIAM Conference on Computational Science and Engineering (CSE19), Spokane Convention Center, Spokane, Washington, USA
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Test matrices with specified solutions for numerical linear algebra2019
- Author(s)
  K. Ozaki, T. Ogita
- Organizer
  2019 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing, National Sun Yat-sen University, Kaohsiung, Taiwan
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] （計算＋データ＋学習）融合によるエクサスケール時代の革新的シミュレーション手法2019
- Author(s)
  中島研吾，岩下武史，八代尚，下川辺隆史，長尾大道，荻田武史，片桐孝洋，松葉浩也
- Organizer
  第11回自動チューニング技術の現状と応用に関するシンポジウム（ATTA2019）
- Data Source
  KAKENHI-PROJECT-19H05662
[Presentation] Accurate and verified solutions of large sparse linear systems arising from 3D Poisson equation2019
- Author(s)
  Ogita, T., Nakajima, K.
- Organizer
  International Conference on Matrix Analysis and its Applications (MAT TRIAD 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H05662
[Presentation] Test Matrices for Symmetric Eigenvalue Problems Using Weighing Matrices2018
- Author(s)
  K. Ozaki, T. Ogita
- Organizer
  IX Pan-American Workshop Applied Mathematics & Computational Science, Melia Varadero Hotel, Varadero, Cuba
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Iterative Refinement for Singular Value Decomposition2018
- Author(s)
  T. Ogita
- Organizer
  The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations, Waseda University, Tokyo, Japan
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Rounding Error Analysis of QR Decomposition Using LU Factors Based on CholeskyQR Algorithm2018
- Author(s)
  T. Terao, K. Ozaki, T. Ogita
- Organizer
  IX Pan-American Workshop Applied Mathematics & Computational Science, Melia Varadero Hotel, Varadero, Cuba
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Development of Verified Numerical Computations in High-Performance Computing Environments2018
- Author(s)
  Takeshi Ogita
- Organizer
  2018 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing (ATAT in HPSC 2018)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K12432
[Presentation] Accurate and Verified Numerical Computations with HPC2018
- Author(s)
  Takeshi Ogita
- Organizer
  SIAM Conference on Parallel Processing for Scientific Computing 2018 (SIAM PP18)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K12432
[Presentation] Development of Verified Numerical Computations in High-Performance Computing Environments2018
- Author(s)
  T. Ogita
- Organizer
  2018 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing (ATAT in HPSC 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Accurate and Verified Numerical Computations with HPC2018
- Author(s)
  T. Ogita
- Organizer
  SIAM Conference on Parallel Processing for Scientific Computing 2018 (SIAM PP18)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] 真の特異値や固有値がわかるテスト行列の生成法2017
- Author(s)
  尾崎克久，荻田武史
- Organizer
  日本応用数理学会年会
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Faithful Rounding for Matrix Multiplication2017
- Author(s)
  Katsuhisa Ozaki and Takeshi Ogita
- Organizer
  SIAM Conference on Computational Science and Engineering ( CSE17)
- Place of Presentation
  Hilton Atlanta (Atlanta, GA, USA)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K12432
[Presentation] 数値線形代数における反復改良法2017
- Author(s)
  荻田武史
- Organizer
  第17回AT研究会オープンアカデミックセッション(ATOS17),
- Invited
- Data Source
  KAKENHI-PROJECT-16K12432
[Presentation] Iterative refinement of eigenvectors of symmetric matrices with clustered eigenvalues2017
- Author(s)
  Takeshi Ogita
- Organizer
  SIAM Conference on Computational Science and Engineering (CSE17)
- Place of Presentation
  Hilton Atlanta, USA
- Year and Date
  2017-03-02
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Iterative refinement of eigenvectors of symmetric matrices with clustered eigenvalues2017
- Author(s)
  T. Ogita
- Organizer
  SIAM Conference on Computational Science and Engineering (CSE17)
- Place of Presentation
  Hilton Atlanta (Atlanta, GA, USA)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K12432
[Presentation] Generation of Test Matrices with Exact Singular Values for Numerical Computations2017
- Author(s)
  K. Ozaki, T. Ogita
- Organizer
  The 2017 International Conference on Computational and Mathematical Methods in Science and Engineering ( CMMSE2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] 線形問題におけるHPC向きの精度保証法と反復改良法2017
- Author(s)
  荻田武史
- Organizer
  第9回自動チューニング技術の現状と応用に関するシンポジウム(ATTA2017)
- Invited
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] A preconditioning method for dense linear systems2017
- Author(s)
  Takeshi Ogita
- Organizer
  Numerical Analysis Seminar
- Place of Presentation
  North Carolina State University, USA
- Year and Date
  2017-03-06
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Generation of Test matrices with Specified Eigenvalues2017
- Author(s)
  K. Ozaki, T. Ogita
- Organizer
  10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory (SWIM-SMART 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] 数値線形代数における反復改良法,2017
- Author(s)
  荻田武史
- Organizer
  第17回AT研究会オープンアカデミックセッション(ATOS17)
- Invited
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] 線形問題におけるHPC向きの精度保証法と反復改良法2017
- Author(s)
  荻田武史
- Organizer
  第9回自動チューニング技術の現状と応用に関するシンポジウム(ATTA2017)
- Invited
- Data Source
  KAKENHI-PROJECT-16K12432
[Presentation] 対称行列に対する固有値分解の反復改良法2017
- Author(s)
  荻田武史
- Organizer
  環瀬戸内ワークショップ
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Faithful Rounding for Matrix Multiplication2017
- Author(s)
  Katsuhisa Ozaki, Takeshi Ogita
- Organizer
  SIAM Conference on Computational Science and Engineering (CSE17)
- Place of Presentation
  Hilton Atlanta, USA
- Year and Date
  2017-03-02
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] 実対称行列の固有値分解に対する反復改良法2016
- Author(s)
  荻田武史
- Organizer
  応用解析研究会
- Place of Presentation
  天満研修センター（大阪府大阪市）
- Data Source
  KAKENHI-PROJECT-16K12432
[Presentation] 連立一次方程式の数値解のためのテスト問題の生成法2016
- Author(s)
  尾崎克久, 荻田武史
- Organizer
  日本応用数理学会年会
- Place of Presentation
  北九州国際会議場，北九州市
- Year and Date
  2016-09-14
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Efficient Preconditioning Methods for Dense Ill-conditioned Linear Systems2016
- Author(s)
  Takeshi Ogita
- Organizer
  5th European Seminar on Computing (ESCO 2016)
- Place of Presentation
  Conference Center Secese, Pilsen, Czech Republic
- Year and Date
  2016-06-09
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Linear Systems with the Exact Solution for Numerical Tests2016
- Author(s)
  Katsuhisa Ozaki, Takeshi Ogita
- Organizer
  17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN2016)
- Place of Presentation
  Norrlands Nation, Uppsala, Sweden
- Year and Date
  2016-09-16
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] 実対称行列の固有値分解に対する反復改良法2016
- Author(s)
  荻田武史
- Organizer
  応用解析研究会
- Place of Presentation
  天満研修センター, 大阪市
- Data Source
  KAKENHI-PROJECT-16H03917
[Presentation] Iterative Refinement for Symmetric Eigenvalue Decomposition2015
- Author(s)
  T. Ogita
- Organizer
  The First French-Japanese Workshop on Numerical Computations
- Place of Presentation
  パリ（フランス）
- Year and Date
  2015-03-25
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] Iterative Refinement for Symmetric Eigenvalue Problems2014
- Author(s)
  T. Ogita
- Organizer
  16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
- Place of Presentation
  ヴュルツブルク（ドイツ）
- Year and Date
  2014-09-22
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] Iterative Refinement for Singular Value Decompositions2014
- Author(s)
  T. Ogita
- Organizer
  The 7th Small Workshop on Interval Methods (SWIM2014)
- Place of Presentation
  ウプサラ（スウェーデン）
- Year and Date
  2014-06-11
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] 対称固有値問題に対する残差反復法2014
- Author(s)
  荻田武史
- Organizer
  RIMS研究集会「新時代の科学技術を牽引する数値解析学」
- Place of Presentation
  京都大学数理解析研究所（京都府・京都市）
- Year and Date
  2014-10-09
- Invited
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] Acceleration of Accurate Floating-Point Summation2014
- Author(s)
  T. Ogita
- Organizer
  The Fifth China-Japan-Korea Conference on Numerical Mathematics
- Place of Presentation
  銀川（中国）
- Year and Date
  2014-08-27
- Invited
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] 連立一次方程式に対する精度保証の現状2012
- Author(s)
  荻田武史
- Organizer
  第4回横幹連合総合シンポジウム
- Place of Presentation
  日本大学生産工学部津田沼キャンパス
- Invited
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] Verified Solutions of Sparse Linear Systems2012
- Author(s)
  T. Ogita
- Organizer
  Fifth Conference on Numerical Analysis and Applications
- Place of Presentation
  Lozenetz, Bulgaria,
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] Backward Error Bounds of Block LDLT Factorizations2012
- Author(s)
  T. Ogita
- Organizer
  2012 International Symposium on Nonlinear Theory and its Applications
- Place of Presentation
  Palma de Mallorca, Spain
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] 線形問題に対する精度保証付き数値計算2012
- Author(s)
  荻田武史
- Organizer
  第2回計算力学シンポジウム
- Place of Presentation
  日本学術会議講堂
- Invited
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] Verified Solutions of Sparse Linear Systems2012
- Author(s)
  T. Ogita
- Organizer
  The 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations
- Place of Presentation
  Novosibirsk, Russia
- Invited
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] Verified Solutions of Sparse Linear Systems2012
- Author(s)
  T. Ogita
- Organizer
  2012 SIAM Conference on Applied Linear Algebra
- Place of Presentation
  Valencia, Spain
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] Robust Inverse Matrix Factorizations2011
- Author(s)
  T. Ogita
- Organizer
  International Workshop on Numerical Linear Algebra and Its Applications
- Place of Presentation
  Tongji University, Shanghai, China
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] Computing Tight Bounds on Extreme Eigenvalues of Symmetric Matrices2011
- Author(s)
  T. Ogita
- Organizer
  2011 International Symposium on Nonlinear Theory and its Applications
- Place of Presentation
  Kobe, Japan
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] Accurate Singular Value Decomposition for Ill-conditioned Matrices2010
- Author(s)
  T.Ogita
- Organizer
  14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
- Place of Presentation
  ENS de Lyon, France
- Year and Date
  2010-09-28
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Robust Matrix Factorizations2010
- Author(s)
  T.Ogita
- Organizer
  2010 International Workshop on Numerical Verification and its Applications
- Place of Presentation
  Hotel Lido Azzurro "Annex"八丈島
- Year and Date
  2010-03-12
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Robust algorithms for singular values and eigenvalues2010
- Author(s)
  T.Ogita
- Organizer
  Czech-Japanese Seminar in Applied Mathematics
- Place of Presentation
  Telc, Czech Republic
- Year and Date
  2010-09-02
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Accurate Singular Value Decomposition and Eigenvalue Decomposition2010
- Author(s)
  T.Ogita
- Organizer
  The Sixth East Asia SIAM Conference
- Place of Presentation
  Kuala Lumpur, Malaysia
- Year and Date
  2010-06-23
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] 高精度なスパースCholesky分解2010
- Author(s)
  荻田武史
- Organizer
  第29回日本シミュレーション学会大会
- Place of Presentation
  山形大学工学部キャンパス
- Year and Date
  2010-06-19
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] (招待講演)精度保証付き数値計算とロバストアルゴリズム2010
- Author(s)
  荻田武史
- Organizer
  天体力学N体力学研究会
- Place of Presentation
  千葉大学
- Year and Date
  2010-03-20
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] 数値線形代数における精度保証付き数値計算法の現状2010
- Author(s)
  荻田武史
- Organizer
  第8回ASE研究会
- Place of Presentation
  東京大学情報基盤センター
- Year and Date
  2010-12-06
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] 日本数学会年会, 応用数学分科会2010
- Author(s)
  荻田武史
- Organizer
  日本数学会年会
- Place of Presentation
  慶応義塾大学
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] (特別講演)エラーフリー変換とロバストな行列分解2010
- Author(s)
  荻田武史
- Organizer
  日本数学会年会
- Place of Presentation
  慶応義塾大学
- Year and Date
  2010-03-25
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] 高精度な固有値分解アルゴリズム2010
- Author(s)
  荻田武史
- Organizer
  第15回計算工学講演会
- Place of Presentation
  九州大学医学部百年講堂
- Year and Date
  2010-05-28
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] エラーフリー変換とロバストな行列分解2010
- Author(s)
  荻田武史
- Organizer
  日本数学会年会,応用数学分科会(特別講演)
- Place of Presentation
  慶応義塾大学
- Year and Date
  2010-03-25
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Accurate Singular Value Decomposition2010
- Author(s)
  T.Ogita
- Organizer
  2010 International Symposium on Nonlinear Theory and its Applications
- Place of Presentation
  Krakow, Poland
- Year and Date
  2010-09-06
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Exact Determinant of Integer Matrices2010
- Author(s)
  T.Ogita
- Organizer
  4th International Workshop on Reliable Engineering Computing (REC2010)
- Place of Presentation
  Hotel "Furama Riverfront" Singapore
- Year and Date
  2010-03-04
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] 浮動小数点演算のerror-free変換とその応用2009
- Author(s)
  荻田武史
- Organizer
  多倍長精度計算フォーラム
- Place of Presentation
  工学院大学
- Year and Date
  2009-02-24
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] 高精度な行列分解とその応用2009
- Author(s)
  荻田,武史
- Organizer
  日本応用数理学会研究部会連合発表会
- Place of Presentation
  京都大学
- Year and Date
  2009-03-08
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Accurate Matrix Factorization and Applications2009
- Author(s)
  T. Ogita
- Organizer
  2009 International Workshop on Numerical Verification and its Applications
- Place of Presentation
  Miyako Island, Japan
- Year and Date
  2009-03-23
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Robust Computation of Determinant2009
- Author(s)
  T.Ogita
- Organizer
  7th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM2009)
- Place of Presentation
  ホテルアクィラレティムノCrete, Greece
- Year and Date
  2009-09-18
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] ロバストな行列分解アルゴリズムとその応用2009
- Author(s)
  荻田武史
- Organizer
  2009年並列/分散/協調処理に関する「仙台」サマー・ワークショップ(SWoPP仙台2009)(招待講演)
- Place of Presentation
  仙台
- Year and Date
  2009-08-06
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Fast Quasi-Quadruple Precision Computation of Sparse Matrix-Vector Product2009
- Author(s)
  T. Ogita, S. M. Rump S. Oishi
- Organizer
  International Conference on High Performance Scientific Computing
- Place of Presentation
  Hanoi, Vietnam
- Year and Date
  2009-03-05
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Accurate and Robust Inverse Cholesky Factorization2009
- Author(s)
  T.Ogita, S.Oishi
- Organizer
  2009 International Symposium on Nonlinear Theory and its Applications (NOLTA2009)
- Place of Presentation
  イギリス札幌ホテル札幌
- Year and Date
  2009-10-19
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] (Invited Seminar) Robust and Accurate Matrix Factorizations, Dagstuhl Seminar 094712009
- Author(s)
  T. Ogita
- Organizer
  Computer-assisted Proofs - Tools, Methods and Applications, Dagstuhl
- Place of Presentation
  Germany
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] (Invited Seminar) Robust and Accurate Matrix Factorizations2009
- Author(s)
  T.Ogita
- Organizer
  Dagstuhl Seminar 09471 : Computer-assisted Proofs -Tools, Methods and Applications
- Place of Presentation
  Dagstuhl, Germany
- Year and Date
  2009-11-17
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Accurate Inverse Cholesky Factorization2009
- Author(s)
  T.Ogita, S.Oishi
- Organizer
  The 5th East Asia SIAM Conference
- Place of Presentation
  UniversitiBrunei Darussalam
- Year and Date
  2009-06-10
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] ロバストな行列分解アルゴリズムとその応用2009
- Author(s)
  荻田武史
- Organizer
  2009年並列/分散/協調処理に関する「仙台」サマー・ワークショップ
- Place of Presentation
  仙台
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] 線形問題の精度保証付き高精度数値計算法2009
- Author(s)
  荻田武史
- Organizer
  デジタル解析学セミナー
- Place of Presentation
  早稲田大学
- Year and Date
  2009-07-22
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Accurate and Verified Computation of Matrix Determinant2009
- Author(s)
  T.Ogita
- Organizer
  The 24th International Technical Conference on Circuits/Systems, Computers and Communications
- Place of Presentation
  Jeju KAL Hotel Jeju Island, Korea
- Year and Date
  2009-07-08
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] (招待講演)高精度な行列分解アルゴリズムとその応用2009
- Author(s)
  荻田武史
- Organizer
  研究会「アルゴリズムによる計算科学の融合と発展」
- Place of Presentation
  筑波大学
- Year and Date
  2009-04-23
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Robust and Accurate Matrix Factorizations, Dagstuhl Seminar 09471 : Computer-assisted Proofs - Tools2009
- Author(s)
  T.Ogita
- Organizer
  Methods and Applications(Invited Seminar)
- Place of Presentation
  Dagstuhl, Germany
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] (招待講演)ロバストな行列分解アルゴリズムとその応用2009
- Author(s)
  荻田武史
- Organizer
  2009年並列/分散/協調処理に関する「仙台」サマー・ワークショップ(SWoPP仙台2009)
- Place of Presentation
  フォレスト仙台
- Year and Date
  2009-08-06
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] 悪条件行列の高精度な特異値分解アルゴリズム2009
- Author(s)
  荻田武史
- Organizer
  日本応用数理学会2009年度年会
- Place of Presentation
  大阪大学豊中キャンパス
- Year and Date
  2009-09-30
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] 高精度な行列分解アルゴリズムとその応用2009
- Author(s)
  荻田武史
- Organizer
  研究会「アルゴリズムによる計算科学の融合と発展」
- Place of Presentation
  筑波大学
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Verified Numerical Computation of Matrix Determinant2008
- Author(s)
  T. Ogita
- Organizer
  13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations
- Place of Presentation
  El Paso, Texas, USA
- Year and Date
  2008-09-29
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Some Methods to Compute Verified Matrix Determinants2008
- Author(s)
  T. Ogita, S. M. Rump, S. Oishi
- Organizer
  2008 International Symposium on Nonlinear Theory and its Applications
- Place of Presentation
  Budapest, Republic of Hungary
- Year and Date
  2008-09-10
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] High Precision and Efficient Computation of Sparse Matrix-Vector Product2008
- Author(s)
  T. Ogita, S. M. Rump, S. Oishi
- Organizer
  The NIMS 2008 Conference & The 4th East Asia SIAM Conference
- Place of Presentation
  Daejeon, Korea
- Year and Date
  2008-10-10
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] 高精度な疎行列ベクトル積の高速計算2008
- Author(s)
  荻田武史, S.M.Rump, 大石進一
- Organizer
  日本応用数理学会2008年度年会
- Place of Presentation
  東京大学柏キャンパス
- Year and Date
  2008-09-18
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Fast and High Precision Algorithm for Sparse Matrix-Vectror Product2008
- Author(s)
  T.Ogita, S. M. Rump. S. Oishi
- Organizer
  2008 International Workshop on Numerical Verification and its Applications
- Place of Presentation
  Okinawa
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] 行列式の精度保証付き数値計算法2008
- Author(s)
  荻田武史, S.M. Rump, 大石進一
- Organizer
  第27回日本シミュレーション学会大会
- Place of Presentation
  立命館大学びわこくさつキャンパス
- Year and Date
  2008-06-19
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] 疎行列とベクトルの高速・高精度な乗算について2008
- Author(s)
  荻田武史, S. M. Rump, 大石進一
- Organizer
  日本応用数理学会研究部会連合発表会
- Place of Presentation
  首都大学東京
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] 行列式の高速精度保証法2007
- Author(s)
  荻田武史, 尾崎克久, 大石進一
- Organizer
  第26回日本シミュレーション学会大会
- Place of Presentation
  東京工業大学
- Year and Date
  2007-06-22
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] 大規模疎行列の正定値性の精度保証2007
- Author(s)
  荻田武史, S. M. Rump, 大石進一
- Organizer
  研究集会「計算科学の基盤技術としての高速アルゴリズムとその周辺」
- Place of Presentation
  京大数理解析研
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Verification of Positive Definiteness for Large Sparse Matrix2007
- Author(s)
  T. Ogita, S. M. Rump, S. Oishi
- Organizer
  The 3rd East Asia SIAM Conference
- Place of Presentation
  Xiamen, China
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Tight Error Bounds for Approximate Solutions of Linear Systems2007
- Author(s)
  T. Ogita, S. Oishi
- Organizer
  2007 International Symposium on Nonlinear Theory and its Applications (NOLTA2007)
- Place of Presentation
  Vancouver
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Fast and Accurate Floating-Point Summation2007
- Author(s)
  T. Ogita, S.M. Rump, S. Oishi
- Organizer
  6th International Congress on Industrial and Applied Mathematics (ICIAM07)
- Place of Presentation
  Zurich
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] (Invited Conference) Lower and Upper Error Bounds of Approximate Solutions of Linear Systems2007
- Author(s)
  T. Ogita, S. Oishi
- Organizer
  Conference on Inequalities and Applications '07
- Place of Presentation
  Noszvaj, Republic of Hungary
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] Lower and Upper Error Bounds of Approximate Solutions of Linear Systems2007
- Author(s)
  T. Ogita, S. Oishi
- Organizer
  Conference on Inequalities and Applications '07
- Place of Presentation
  Noszvai, Hungary
- Data Source
  KAKENHI-PROJECT-19700013
[Presentation] 精度保証付き数値計算と高精度計算
- Author(s)
  荻田武史
- Organizer
  2013年度応用数学合同研究集会
- Place of Presentation
  龍谷大学瀬田キャンパス
- Invited
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] Fast verified solutions of sparse linear systems
- Author(s)
  T. Ogita
- Organizer
  The International Workshop on Numerical Verification and its Applications 2014
- Place of Presentation
  Waseda University, Tokyo
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] Backward error bounds on factorizations of symmetric indefinite matrices
- Author(s)
  T. Ogita
- Organizer
  The 10th European Conference on Numerical Mathematics and Advanced Applications
- Place of Presentation
  Lausanne, Switzerland
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] Verified Solutions of Sparse Linear Systems with Special Matrices
- Author(s)
  T. Ogita
- Organizer
  2013 International Symposium on Nonlinear Theory and its Applications
- Place of Presentation
  Santa Fe, USA
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] Iterative Refinement for Symmetric Eigenvalue Problems
- Author(s)
  T. Ogita
- Organizer
  日本応用数理学会研究部会連合発表会
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23700023
[Presentation] Rigorous backward error bounds on factorizations of symmetric indefinite matrices
- Author(s)
  T. Ogita, K. Kobayashi
- Organizer
  4th International Conference on Matrix Analysis and Applications
- Place of Presentation
  Konya, Turkey
- Data Source
  KAKENHI-PROJECT-23700023

1. Ozaki Katsuhisa (90434282)

# of Collaborated Projects: 4 results

# of Collaborated Products: 30 results
2. KATAGIRI TAKAHIRO (40345434)

# of Collaborated Projects: 2 results

# of Collaborated Products: 14 results
3. 星健夫 (80272384)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
4. Nakajima Kengo (20376528)

# of Collaborated Projects: 1 results

# of Collaborated Products: 15 results
5. 岩下武史 (30324685)

# of Collaborated Projects: 1 results

# of Collaborated Products: 9 results
6. 下川辺隆史 (40636049)

# of Collaborated Projects: 1 results

# of Collaborated Products: 9 results
7. 長尾大道 (80435833)

# of Collaborated Projects: 1 results

# of Collaborated Products: 9 results
8. 八代尚 (80451508)

# of Collaborated Projects: 1 results

# of Collaborated Products: 9 results
9. 松葉浩也 (30444095)

# of Collaborated Projects: 1 results

# of Collaborated Products: 9 results
10. 相原研輔 (70735498)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 曽我部知広 (30420368)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 野中千穂 (10432238)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. 宮武勇登 (60757384)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 田中健一郎 (70610640)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 臼田毅 (80273308)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. 劉雪峰 (50571220)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 中尾充宏 (10136418)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 小林健太 (60432902)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 関根晃太 (80732239)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 渡部善隆 (90243972)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. 横田理央 (20760573)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. 伊田明弘 (80742121)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. 今村俊幸 (60361838)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. ICHIMURA Syuntaro

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
25. AISHIMA KENSUKE

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results
26. 南畑淳史

# of Collaborated Projects: 0 results

# of Collaborated Products: 1 results

Ogita Takeshi 荻田 武史

OGITA Takeshi 荻田 武史

Research Projects

Research Products

Co-Researchers

数値線形代数の数値解に対する厳密精度評価の基盤形成

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Fast and accurate eigenvalue calculations by hierarchical low-rank approximation and its application to large-scale electronic structure calculations

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Computer-assisted solution verification for 3D flows with large Reynolds numbers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Fusion of Iterative Solvers for Linear Equations with Sparse Matrices and Verified Numerical Computation Methods

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

物理学・情報科学に共通する大規模行列関数の総合的数値計算法の創成

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Innovative Methods for Scientific Computing in the Exascale Era by Integrations of (Simulation+Data+Learning)

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of accurate algorithms for numerical linear algebraPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of Technologies of High Performance Computing for Accuracy Assurance

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of robust and efficient algorithms in numerical linear algebraPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on fast and accurate verified numerical computations for large-scale systems of linear equationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

大規模疎行列系連立一次方程式の数値解の高速な精度保証法に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] ソフトウェア自動チューニング2021

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] ソフトウェア自動チューニング2021

Author(s)

Total Pages

Ogita Takeshi 荻田武史

OGITA Takeshi 荻田武史