書誌情報 | ファイル |
表紙・目次 (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
| |