書誌情報	ファイル
表紙・目次    (1992-06)   数理解析研究所講究録, 787
有理数演算による非線形方程式の近似解の精度保証 : 有理数演算による精度保証付き広義ニュートン法(非線形問題の数値解析)   井上, 晃; 柏木, 雅英; 大石, 進一; 牧野, 光則 (1992-06)   数理解析研究所講究録, 787: 1-27
A Global Optimization Algorithm Based on Circuit Partitioning Technique   Ushida, Akio (1992-06)   数理解析研究所講究録, 787: 28-36
The Self-Validating Numerical Method : A New Tool for Computer Assisted Proofs of Nonlinear Problems   OISHI, Shin'ichi (1992-06)   数理解析研究所講究録, 787: 37-71
導関数のリプシッツ行列を用いた区間写像について(非線形問題の数値解析)   柏木, 雅英; 大石, 進一 (1992-06)   数理解析研究所講究録, 787: 72-94
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
連立代数方程式の解の重複度(非線形問題の数値解析)   小林, 英恒; 鈴木, 秀男 (1992-06)   数理解析研究所講究録, 787: 99-112
誤差評価付き存在と一意性の定理について(非線形問題の数値解析)   篠原, 能材 (1992-06)   数理解析研究所講究録, 787: 113-119
A CONVERGENCE BALL FOR MULTISTEP SIMPLIFIED NEWTON-LIKE METHODS   CHEN, Xiaojun; YAMAMOTO, Tetsuro (1992-06)   数理解析研究所講究録, 787: 120-126
Numerical Verification of Solutions of Parametrized Nonlinear Boundary Value Problems with Turning Points   Tsuchiya, Takuya; Nakao, Mitsuhiro T. (1992-06)   数理解析研究所講究録, 787: 127-140
Numerical Verification Methods for the Solutions of Nonlinear Elliptic and Evolution Problems   NAKAO, MITSUHIRO T. (1992-06)   数理解析研究所講究録, 787: 141-149
近似的GCDを用いた有理関数近似(非線形問題の数値解析)   野田, 松太郎; 宮広, 栄一; 甲斐, 博 (1992-06)   数理解析研究所講究録, 787: 150-162
Simple Algorithms for Tracing Solution Curves   Yamamura, Kiyotaka (1992-06)   数理解析研究所講究録, 787: 163-175
方程式$\frac{\partial u}{\partial t} = \frac{\partial^2u}{\partial x^2} + \alpha u$に対する局所Crank-Nicolson法の適用(非線形問題の数値解析)   阿不都外里, 阿不都熱西堤; 榊原, 道夫; 仁木, 滉 (1992-06)   数理解析研究所講究録, 787: 176-187