2009 International Symposium on Nonlinear Theory and its Applications

number title/author
A3L-A1Numerical Uniqueness and Existence Theorem for Solution of Lippmann-Schwinger Equation
Shin'ichi Oishi,
A3L-A2Verified Error Bounds for Double Roots of Nonlinear Equations
Siegfried M. Rump, Shin’Ichi Oishi,
A3L-A3Accurate and Robust Inverse Cholesky Factorization
Takeshi Ogita, Shin’ichi Oishi,
A3L-A4Multiple Floating-point Matrix Multiplication by Level 3 Operations.
Katsuhisa Ozaki, Takeshi Ogita, Siegfried M. Rump, Shin’ichi Oishi,