国士舘大学 · 政経学部

研究关键词精度保証付き数値計算・数値解析・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
• 複合ガウス・ルジャンドル求積法と直積型公式に 基づく精度保証付き数値重積分法

• 官方个人主页