書誌情報	ファイル
表紙・目次    (1995-11)   数理解析研究所講究録, 928
非線形作用素方程式のKrawczyk作用素と区間関数の積分理論による解の存在の数値的検証法(数値計算における品質保証とその応用 : 感度解析から証明まで)    大石, 進一 (1995-11)   数理解析研究所講究録, 928: 1-7
楕円型方程式の解の数値的検証法へのKrawczyk法の適用(数値計算における品質保証とその応用 : 感度解析から証明まで)    山本, 野人; 中尾, 充宏 (1995-11)   数理解析研究所講究録, 928: 8-13
連続力学系のコネクティングオービットの精度保証付き数値解析法(数値計算における品質保証とその応用 : 感度解析から証明まで)    大石, 進一 (1995-11)   数理解析研究所講究録, 928: 14-19
Stokes方程式の有限要素解に対するa posteriori誤差評価(数値計算における品質保証とその応用 : 感度解析から証明まで)   中尾, 充宏; 山本, 野人; 渡部, 善隆 (1995-11)   数理解析研究所講究録, 928: 20-31
有限次元非線形方程式の全解探索アルゴリズム(数値計算における品質保証とその応用 : 感度解析から証明まで)   神沢, 雄智; 柏木, 雅英; 大石, 進一 (1995-11)   数理解析研究所講究録, 928: 32-37
区間演算による関数の値域の効率的評価法(数値計算における品質保証とその応用 : 感度解析から証明まで)   柏木, 雅英 (1995-11)   数理解析研究所講究録, 928: 38-41
抵抗回路の感度の符号と区間解析(数値計算における品質保証とその応用 : 感度解析から証明まで)   早川, 透 (1995-11)   数理解析研究所講究録, 928: 42-48
順序付き改良SOR法と直接法(数値計算における品質保証とその応用 : 感度解析から証明まで)   石渡, 恵美子; 室谷, 義昭 (1995-11)   数理解析研究所講究録, 928: 49-66