Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 14.

前
1
2
次

検索結果:

書誌情報	ファイル
導関数のリプシッツ行列を用いた区間写像について(非線形問題の数値解析) 柏木, 雅英; 大石, 進一 (1992-06) 数理解析研究所講究録, 787: 72-94
Numerical Verification of Solutions of Parametrized Nonlinear Boundary Value Problems with Turning Points Tsuchiya, Takuya; Nakao, Mitsuhiro T. (1992-06) 数理解析研究所講究録, 787: 127-140
連立代数方程式の解の重複度(非線形問題の数値解析) 小林, 英恒; 鈴木, 秀男 (1992-06) 数理解析研究所講究録, 787: 99-112
誤差評価付き存在と一意性の定理について(非線形問題の数値解析) 篠原, 能材 (1992-06) 数理解析研究所講究録, 787: 113-119
The Self-Validating Numerical Method : A New Tool for Computer Assisted Proofs of Nonlinear Problems OISHI, Shin'ichi (1992-06) 数理解析研究所講究録, 787: 37-71
A CONVERGENCE BALL FOR MULTISTEP SIMPLIFIED NEWTON-LIKE METHODS CHEN, Xiaojun; YAMAMOTO, Tetsuro (1992-06) 数理解析研究所講究録, 787: 120-126
Simple Algorithms for Tracing Solution Curves Yamamura, Kiyotaka (1992-06) 数理解析研究所講究録, 787: 163-175
Numerical Verification Methods for the Solutions of Nonlinear Elliptic and Evolution Problems NAKAO, MITSUHIRO T. (1992-06) 数理解析研究所講究録, 787: 141-149
方程式$\frac{\partial u}{\partial t} = \frac{\partial^2u}{\partial x^2} + \alpha u$に対する局所Crank-Nicolson法の適用(非線形問題の数値解析) 阿不都外里, 阿不都熱西堤; 榊原, 道夫; 仁木, 滉 (1992-06) 数理解析研究所講究録, 787: 176-187
On Protter-Weinberger's Algorithm for Obtaining Upper and Lower Bounds for the Initial Value Problem of O.D.E. Kanno, Sachio (1992-06) 数理解析研究所講究録, 787: 95-98