Beginning in 2010, the Japan Journal of Industrial and Applied Mathematics will be published by Springer, and current issues will no longer be available in Euclid. For information, please see the Springer JJIAM Web page.
Special issue on state of the art in self-validating numerical computations
Volume 26, Number 2-3
Publication Date: October 2009
Theory of an interval algebra and its application to numerical analysis [Reprint of Res. Assoc. Appl. Geom. Mem. 2 (1958), 29–46]
Teruo Sunaga; 125-143
Application of the Krawczyk--Moore--Jones Algorithm to Electric Circuit Analysis and Its Further Development
Kohshi Okumura; 145-167
Fast Verified Solutions of Linear Systems
Takeshi Ogita and Shin'ichi Oishi; 169-190
Algorithms for Accurate, Validated and Fast Polynomial Evaluation
Stef Graillat, Philippe Langlois and Nicolas Louvet; 191-214
Adaptive and Efficient Algorithm for 2D Orientation Problem
Katsuhisa Ozaki, Takeshi Ogita, Siegfried M. Rump and Shin'ichi Oishi; 215-231
A Numerical Verification Method for Two-Coupled Elliptic Partial Differential Equations
Yoshitaka Watanabe; 233-247
Inversion of Extremely Ill-Conditioned Matrices in Floating-Point
Siegfried M. Rump; 249-277
Direct Methods for Linear Systems with Inexact Input Data
Günter Mayer; 279-296
Verified Numerical Computation for Nonlinear Equations
Goetz Alefeld; 297-315
Numerical Verification Methods for Spherical $t$-Designs
Xiaojun Chen; 317-325
Numerical Existence Proof of Five Solutions for Certain Two-Transistor Circuit Equations
Yusuke Nakaya, Tetsuo Nishi, Shin'ichi Oishi and Martin Claus; 327-336
On Verified Numerical Computations in Convex Programming
Christian Jansson; 337-363
An Application of Taylor Models to the Nakao Method on ODEs
Nobito Yamamoto and Takashi Komori; 365-392
Recent Development in Rigorous Computational Methods in Dynamical Systems
Zin Arai, Hiroshi Kokubu and Paweł Pilarczyk; 393-417
Computer-Assisted Proofs for Semilinear Elliptic Boundary Value Problems
Michael Plum; 419-442
Numerical Verification Method of Solutions for Elliptic Equations and Its Application to the Rayleigh--Bénard Problem
Yoshitaka Watanabe and Mitsuhiro T. Nakao; 443-463
Iterative Refinement for Ill-Conditioned Linear Systems
Shin'ichi Oishi, Takeshi Ogita and Siegfried M. Rump; 465-476
Numerical Verification Method for Infinite Dimensional Eigenvalue Problems
Kaori Nagatou; 477-491
A Constructive A Priori Error Estimation for Finite Element Discretizations in a Non-Convex Domain Using Singular Functions
Kenta Kobayashi; 493-516
Computer Algebra for Guaranteed Accuracy. How Does It Help?
Masaaki Kanno and Hirokazu Anai; 517-530
2012 © The Japan Society for Industrial and Applied Mathematics
Japan Journal of Industrial and Applied Mathematics
