Collection home page

Self Validation Algorithm and its Complexity in Numerical Computation   8
(http://hdl.handle.net/2433/81969)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 8 of 8
BibliographyContents
表紙・目次
   (1994-04)
  数理解析研究所講究録, 865
file type icon
グラム・シュミット法による第1種フレドホルム積分方程式の解法(数値計算における精度保証付き算法とその計算量に関する研究)
  細田, 陽介, 鳥居, 達生 (1994-04)
  数理解析研究所講究録, 865: 1-10
file type icon
On Interval Analysis of AC Network Equation(Self Validation Algorithm and its Complexity in Numerical Computation)
  OKUMURA, Kohshi, HIGASHINO, Satoru (1994-04)
  数理解析研究所講究録, 865: 11-14
file type icon
特異に近い関数の積分に対する自動積分(数値計算における精度保証付き算法とその計算量に関する研究)
  長谷川, 武光, 鳥居, 達生 (1994-04)
  数理解析研究所講究録, 865: 15-28
file type icon
多項式のゼロ点を求める場合の計算量について(数値計算における精度保証付き算法とその計算量に関する研究)
  五十嵐, 正夫 (1994-04)
  数理解析研究所講究録, 865: 29-39
file type icon
山辺の問題の解の漸近的挙動に対する数値的検証法の応用(数値計算における精度保証付き算法とその計算量に関する研究)
  山本, 野人, 四ツ谷, 昌二, 柳田, 英二 (1994-04)
  数理解析研究所講究録, 865: 40-45
file type icon
補外計算におけるM$\phi$ller法について(数値計算における精度保証付き算法とその計算量に関する研究)
  室伏, 誠, 永坂, 秀子 (1994-04)
  数理解析研究所講究録, 865: 46-56
file type icon
Eigenvalue Problems of the Parameter Dependent System of Ordinary Differential Equations and Computer Aided Proof(Self Validation Algorithm and its Complexity in Numerical Computation)
  NISHIDA, Takaaki, TERAMOTO, Yoshiaki, YOSHIHARA, Hideaki (1994-04)
  数理解析研究所講究録, 865: 57-64
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 8 of 8