The 2008 International Symposium on Nonlinear Theory and its Applications

number title/author
C2L-C3Accurate Matrix Multiplication by using Level 3 BLAS Operation
Katsuhisa Ozaki, Takeshi Ogita, Siegfried M. Rump, Shin’ichi Oishi,
C2L-C4Fast Verified Automatic Integration Algorithm using Complex Analysis
Naoya YAMANAKA, Takeshi OGITA, Masahide KASHIWAGI, Shin’ichi OISHI,
C2L-C5Iterative Refinement for Ill-conditioned Linear Equations.
Shin’ichi Oishi, Takeshi Ogita, Siegfried M. Rump,