佐賀大学 · 理工学部 / 理工学研究科 · 准教授

研究キーワード誤差評価・計算機援用証明・情報学・計算機科学・精度保証付き数値計算・A・Applied・有限要素法・mathematics

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces2019 · Journal of Differential Equations
• An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space2019 · Japan Journal of Industrial and Applied Mathematics
• Validated constructive error estimations for biharmonic problems2017 · Reliable Computing
• H3 and H4 regularities of the poisson equation on polygonal domains2016 · Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

• 公式プロフィール