国士舘大学 · 政経学部

研究キーワード精度保証付き数値計算・数値解析・A・method・for

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

• Verified Inclusion of a Basis of the Null space.
• A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems
• Component-wise verified solutions for constrained convex programming
• 複合ガウス・ルジャンドル求積法と直積型公式に 基づく精度保証付き数値重積分法

• 公式プロフィール