Public Professor Archive
九州大学 · マス・フォア・イノベーション連係学府 · 准教授
九州大学 · マス・フォア・イノベーション連係学府 · 准教授
研究キーワードcomputer-assisted proofs・infinite-dimensional linear operators・elliptic partial differential equations・Hilbert space operator theory・resolvent estimates・Galerkin discretization・finite element error bounds・Kolmogorov flow stability・Navier-Stokes equations・eigenvalue exclusion
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。