Collection home page

Self-Validating Algorithm and Its Applications   12
(http://hdl.handle.net/2433/98222)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 12 of 12
BibliographyContents
表紙・目次
   (1988-11)
  数理解析研究所講究録, 673
file type icon
Validation of Numerical Computation
  Rall, L.B. (1988-11)
  数理解析研究所講究録, 673: 1-16
file type icon
A Criterion for Finding Existence and Nonexistence Domains of Solutions of Nonlinear Equations
  Chen, X., Yamamoto, T. (1988-11)
  数理解析研究所講究録, 673: 17-21
file type icon
Some Experiments on New ACRITH : Self-validating SOR Algorithm
  Tanamachi, Yoshihiro, Okuda, Akira (1988-11)
  数理解析研究所講究録, 673: 22-39
file type icon
Multi-objective Optimization Using Interval Analysis
  Fujii, Yasuo (1988-11)
  数理解析研究所講究録, 673: 40-46
file type icon
The interval arithmetic for the ill-conditioned polynomial equation
  NODA, Matu-Tarow, SASAKI, Tateaki (1988-11)
  数理解析研究所講究録, 673: 47-61
file type icon
Fast Automatic Differentiation and Interval Estimates of rounding errors
  KUBOTA, Koichi, IRI, Masao (1988-11)
  数理解析研究所講究録, 673: 62-79
file type icon
Periodic Solutions of Duffing Equation
  YAMAGUTI, Masaya, YOSHIHARA, Hideaki, NISHIDA, Takaaki (1988-11)
  数理解析研究所講究録, 673: 80-95
file type icon
ON APPLICATIONS OF INTERVAL ARITHMETIC TO CIRCUIT ANALYSIS
  OKUMURA, Kohsi, KISHIMA, Akira (1988-11)
  数理解析研究所講究録, 673: 96-106
file type icon
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
file type icon
The mathematical structure of incomplete constructive calculus
  Yasugi, Mariko (1988-11)
  数理解析研究所講究録, 673: 127-134
file type icon
浜田方式の数表現に対する誤差解析試論(自己検証的算法とその応用)
  一松, 信 (1988-11)
  数理解析研究所講究録, 673: 135-138
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 12 of 12