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