Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T.Nakao:
A Numerical Verification Method of Solutions for the Navier-Stokes Equations,
International Workshop on Verified Numerical Computation(IWVNC),
September 8-10, 1998,
International Conference Center, Waseda University, Japan.
非圧縮性定常Navier-Stokes方程式に対する解の精度保証付き検証法の定式化を行ない, 計算機内において解の存在を証明する条件およびアルゴリズムを提案し, あわせていくつかの数値例を与えた.
OHP原稿.15ページ.
〔ひとつ戻る〕 〔メインメニューに戻る〕