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

研究关键词誤差評価・計算機援用証明・情報学・計算機科学・精度保証付き数値計算・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)

• 官方个人主页