The 2005 International Symposium on Nonlinear Theory and its Applications

number title/author
2-1-4-1High precision evaluation of nonlinear functions
Siegfried M. Rump,
2-1-4-2Additive-form Iterative Refinement of LU Factorization of an Ill-Conditioned Matrix
Kunio Tanabe,
2-1-4-3A Method of Generating Linear Systems with an Arbitrarily Ill-conditioned Matrix and an Arbitrary Solution
Shinya Miyajima, Takeshi Ogita, Shin’ichi Oishi,
2-1-4-4Numerical Verification Method for Dense Linear Systems with Arbitrarily Ill-conditioned Matrices
Takahisa OHTA, Takeshi OGITA, Siegfried M. Rump, Shin’ichi OISHI,
2-1-4-5Componentwise Verified Solutions of Linear Systems Suited for Java
K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S. M. Rump,
2-1-4-6Numerical Method of Proving Existence of Periodic Solution for Nonlinear ODE using Affine Arithmetic and Green’s Function Expression
Yuchi Kanzawa, Shin’ichi Oishi,