書誌情報	ファイル
表紙・目次    (1988-11)   数理解析研究所講究録, 673
Validation of Numerical Computation   Rall, L.B. (1988-11)   数理解析研究所講究録, 673: 1-16
A Criterion for Finding Existence and Nonexistence Domains of Solutions of Nonlinear Equations   Chen, X.; Yamamoto, T. (1988-11)   数理解析研究所講究録, 673: 17-21
Some Experiments on New ACRITH : Self-validating SOR Algorithm   Tanamachi, Yoshihiro; Okuda, Akira (1988-11)   数理解析研究所講究録, 673: 22-39
Multi-objective Optimization Using Interval Analysis   Fujii, Yasuo (1988-11)   数理解析研究所講究録, 673: 40-46
The interval arithmetic for the ill-conditioned polynomial equation   NODA, Matu-Tarow; SASAKI, Tateaki (1988-11)   数理解析研究所講究録, 673: 47-61
Fast Automatic Differentiation and Interval Estimates of rounding errors   KUBOTA, Koichi; IRI, Masao (1988-11)   数理解析研究所講究録, 673: 62-79
Periodic Solutions of Duffing Equation   YAMAGUTI, Masaya; YOSHIHARA, Hideaki; NISHIDA, Takaaki (1988-11)   数理解析研究所講究録, 673: 80-95
ON APPLICATIONS OF INTERVAL ARITHMETIC TO CIRCUIT ANALYSIS   OKUMURA, Kohsi; KISHIMA, Akira (1988-11)   数理解析研究所講究録, 673: 96-106
A numerical approach to the proof of existence of solutions for elliptic problems Part II : for the case of large spectral radius   Nakao, Mitsuhiro T. (1988-11)   数理解析研究所講究録, 673: 107-126
The mathematical structure of incomplete constructive calculus   Yasugi, Mariko (1988-11)   数理解析研究所講究録, 673: 127-134
浜田方式の数表現に対する誤差解析試論(自己検証的算法とその応用)   一松, 信 (1988-11)   数理解析研究所講究録, 673: 135-138