Kokushikan University · Faculty of Political Science and Economics

Research keywords精度保証付き数値計算・数値解析・A・method・for

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

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

• Official profile