Jump to main content

yr 〜
yr

Search results 4

数値的検証法から計算機援用解析学の構築へ向けての総合的研究

数値的検証法から計算機援用解析学の構築へ向けての総合的研究
Paper図書
中尾充宏, 九州大学 [著][中尾充宏]2003-2006<Y151-H15204007>
National Diet Library
  • Subject Heading数値解析 / 精度保証付き数値計算法 / 解の数値的検証 / 解の事後誤差評価 / 計算機援用証...

精度保証付き数値計算法の新展開を目ざしての総合的研究

精度保証付き数値計算法の新展開を目ざしての総合的研究
Paper図書
中尾, 充宏, 九州大学2001-2002<Y151-H13440035>
National Diet Library
  • Subject Heading数値解析 精度保証付き数値計算法 解の数値的検証 計算機援用証明

精度保証付き数値計算とその計算理工学への応用に関する総合的研究

精度保証付き数値計算とその計算理工学への応用に関する総合的研究
Paper図書
中尾, 充宏, 九州大学1998-1999<Y151-H10440031>
National Diet Library
  • Subject Heading数値解析 精度保証付き数値計算法 解の数値的検証 計算機援用証明

高性能大規模計算に即した数値解析の構築

高性能大規模計算に即した数値解析の構築
Paper図書
田端正久, 九州大学 [著][田端正久]2001-2003<Y151-H13304007>
National Diet Library
  • Subject Heading有限要素法 / 特性有限要素法 / 特異極限法 / 精度保証付き数値計算法 / 多孔質媒体流に対する差分法 / ライスナー・ミンドリン...

Reached to the end of result.

RSS