書誌事項

非線形問題の数値解析 : 短期共同研究

(数理解析研究所講究録, 787)

京都大学数理解析研究所, 1992.6

タイトル別名

[Numerical analysis of nonlinear problems]

タイトル読み

ヒセンケイ モンダイ ノ スウチ カイセキ : タンキ キョウドウ ケンキュウ

大学図書館所蔵 件 / 4

この図書・雑誌をさがす

注記

短期共同研究「非線形問題の数値解析」報告集(1991年11月11日-11月13日) 研究代表者:山本哲朗

収録内容

  • 有理数演算による非線形方程式の近似解の精度保証 : 有理数演算による精度保証付き広義ニュートン法 / 井上晃, 柏木雅英, 大石進一, 牧野光則
  • A global optimization algorithm based on circuit partitioning technique / 牛田明夫
  • The self-validating numerical method : a new tool for computer assisted proofs of nonlinear problems / 大石進一
  • 導関数のリプシッツ行列を用いた区間写像について / 柏木雅英, 大石進一
  • On Protter-Weinberger's algorithm for obtaining upper and lower bounds for the initial value problem of O.D.E. / 菅野幸夫
  • 連立代数方程式の解の重複度 / 小林英恒, 鈴木秀男
  • 誤差評価付き存在と一意性の定理について / 篠原能材
  • A convergence ball for multistep simplified Newton-like methods / 陳小君, 山本哲朗
  • Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points / 土屋卓也, 中尾充宏
  • Numerical verification methods for the solutions of nonlinear elliptic and evolution problems / 中尾充宏
  • 近似的GCDを用いた有理関数近似 / 野田松太郎, 宮広栄一, 甲斐博
  • 簡単な解曲線追跡法 / 山村清隆
  • 方程式∂u/∂t=∂[2]u/∂x[2]+αuに対する局所Crank-Nicolson法の適用 / Abdurishit Abuduwali, 榊原道夫, 仁木滉

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BN08516487
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpneng
  • 出版地
    [京都]
  • ページ数/冊数
    ii,187p
  • 大きさ
    26cm
  • 親書誌ID
ページトップへ