Saga University · Faculty of Science and Engineering / Graduate School of Science and Engineering · 准教授

Research keywords誤差評価・計算機援用証明・情報学・計算機科学・精度保証付き数値計算・A・Applied・有限要素法・mathematics

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

• 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)

• Official profile