Jump to main content

yr 〜
yr

Search results 8

数値的検証法を用いた反応拡散方程式の定常解の大域的分岐構造の研究

数値的検証法を用いた反応拡散方程式の定常解の大域的分岐構造の研究
Paper図書
観音幸雄, 愛媛大学 [著][観音幸雄]2003-2005<Y151-H15540124>
National Diet Library
  • Subject Heading競争モデル / 分岐理論 / 比較定理 / 数値的検証法

ニュートン法の収束定理に基づく偏微分方程式の数値解析の理論的研究

ニュートン法の収束定理に基づく偏微分方程式の数値解析の理論的研究
Paper図書
川中子正, 東京工業大学 [著][川中子正]2005-2006<Y151-H17540103>
National Diet Library
  • Subject Heading偏微分方程式 / 数値的検証法 / Newton法 / 有限要素法 / 計算効率

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

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

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

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

特異積分法と積分方程式に関する精度保証付き計算法の研究

特異積分法と積分方程式に関する精度保証付き計算法の研究
Paper図書
山本野人, 電気通信大学 [著][山本野人]2003-2004<Y151-H15540111>
National Diet Library
  • Subject Heading精度保証法 / 数値的検証法 / 積分方程式 / 関数方程式 / 常微分方程式 / 初...

精度保証付き計算法の開発と実用化

精度保証付き計算法の開発と実用化
Paper図書
山本, 野人, 電気通信大学1997-2000<Y151-H09640278>
National Diet Library
  • Subject Heading精度保証付き計算法 数値的検証法 有限要素法 誤差評価 丸め誤差

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

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

力学系の大域的分岐の研究

力学系の大域的分岐の研究
Paper図書
吉原, 英昭, 京都大学1997-1998<Y151-H09640261>
National Diet Library
  • Subject Heading力学系 分岐 大域的構造 構造安定性 双曲性 特異摂動的力学系 位相的指標 数値的検証

Reached to the end of result.

RSS