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

Author(s)

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

（数理解析研究所講究録, 787）

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

短期共同研究「非線形問題の数値解析」報告集(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, 榊原道夫, 仁木滉