yr 〜
yr

Search results 6

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

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

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

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

非線形系の大域理論に向けての応用解析学的研究

非線形系の大域理論に向けての応用解析学的研究
Paper図書
西田孝明, 早稲田大学 [著][西田孝明]2005-2007<Y151-H17340027>
National Diet Library
  • Subject Heading非線形偏微分方程式 / 解空間の大域的構造 / 熱対流問題 / 力学系 / 非線形波動 / 計算機援用証明法 / 自由表面問題

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

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

非線形系の応用解析学的研究

非線形系の応用解析学的研究
Paper図書
西田孝明, 京都大学 [著][西田孝明]2002-2004<Y151-H14340035>
National Diet Library
  • Subject Heading非線形偏微分方程式 / 解空間の大域的構造 / 熱対流問題 / 力学系 / 非線形波動 / 計算機援用証明法 / 粘性衝撃波 / 分岐問題

遅い流れの熱対流問題を解く実用的計算コードの作成

遅い流れの熱対流問題を解く実用的計算コードの作成
Paper図書
田端, 正久, 九州大学1999-2001<Y151-H11554003>
National Diet Library
  • Subject Heading安定化有限要素法 部分領域分割 クリロフ部分空間法 精度保証付き計算 誤差評価 計算機援用証明 マントル対流 渦輪

Reached to the end of result.