書誌情報	ファイル
表紙・目次    (1993-04)   数理解析研究所講究録, 831
連立代数方程式の解の重複度(精度保証付き数値計算法とその応用)   小林, 英恒; 鈴木, 秀男 (1993-04)   数理解析研究所講究録, 831: 1-20
数式処理と精度保証付き計算の結合(精度保証付き数値計算法とその応用)   野田, 松太郎; 近藤, 祐史 (1993-04)   数理解析研究所講究録, 831: 21-32
FLOATING-POINT NUMBER SOLUTIONS IN A SIMPLE LINEAR EQUATION WITH ADDITION ALGORITHM   Tsuji, Kumiko (1993-04)   数理解析研究所講究録, 831: 33-45
特異および特異に近い差分方程式のSOR法(精度保証付き数値計算法とその応用)   石原, 和夫; 山本, 慎 (1993-04)   数理解析研究所講究録, 831: 46-47
Tolerance Analysis of Linear Resistive Network by interval Mathematics   OKUMURA, Kohsi; SAKANASHI, Koh (1993-04)   数理解析研究所講究録, 831: 48-52
区間解析と有理数演算による非線形方程式の近似解の精度保証(精度保証付き数値計算法とその応用)   柏木, 雅英; 大石, 進一 (1993-04)   数理解析研究所講究録, 831: 53-72
不適切な熱伝導問題の数値解析について(精度保証付き数値計算法とその応用)   棚町, 芳弘; 高橋, 亮一 (1993-04)   数理解析研究所講究録, 831: 73-82
非線形楕円型問題の数値解に対する自由パラメータを用いたアポステリオリ誤差評価法(精度保証付き数値計算法とその応用)   新島, 耕一 (1993-04)   数理解析研究所講究録, 831: 83-95
無限次元問題(積分方程式)の解に対する存在保証(精度保証付き数値計算法とその応用)   鈴木, 千里 (1993-04)   数理解析研究所講究録, 831: 96-111
Some Remarks on a Paper of Sinai-Vul in 1980   山口, 昌哉; 吉原, 英昭; 西田, 孝明 (1993-04)   数理解析研究所講究録, 831: 112-114
Numerical Verification of Existence and Inclusion of Solutions for Nonlinear Operator Equations   Oishi, Shin'ichi; Kashiwagi, Masahide (1993-04)   数理解析研究所講究録, 831: 115-128
Numerical Verification of Simple Bifurcation Points   Tsuchiya, Takuya (1993-04)   数理解析研究所講究録, 831: 129-140
微分不能項を持つ楕円型方程式の解に対する検証問題について(精度保証付き数値計算法とその応用)   渡部, 善隆; 山本, 野人; 中尾, 充宏 (1993-04)   数理解析研究所講究録, 831: 141-148
高次要素を用いた残差反復法による楕円型方程式の解の数値的検証法(精度保証付き数値計算法とその応用)   山本, 野人; 中尾, 充宏 (1993-04)   数理解析研究所講究録, 831: 149-157