中尾充宏, 九州大学 [著][中尾充宏]2003-2006<Y151-H15204007>
国立国会図書館
- 件名数値解析 / 精度保証付き数値計算法 / 解の数値的検証 / 解の事後誤差評価 / 計算機援用証...
中尾, 充宏, 九州大学2001-2002<Y151-H13440035>
国立国会図書館
- 件名数値解析 精度保証付き数値計算法 解の数値的検証 計算機援用証明
中尾, 充宏, 九州大学1998-1999<Y151-H10440031>
国立国会図書館
- 件名数値解析 精度保証付き数値計算法 解の数値的検証 計算機援用証明
田端正久, 九州大学 [著][田端正久]2001-2003<Y151-H13304007>
国立国会図書館
- 件名有限要素法 / 特性有限要素法 / 特異極限法 / 精度保証付き数値計算法 / 多孔質媒体流に対する差分法 / ライスナー・ミンドリン...