the 2011 International Symposium on Nonlinear Theory and its Applications

number title/author
A2L-A1Computing Tight Bounds on Extreme Eigenvalues of Symmetric Matrices
Takeshi Ogita,
A2L-A2Accurate matrix multiplication: Improvement of error-free splitting
Katsuhisa Ozaki, Takeshi Ogita, Shin’ichi Oishi,
A2L-A3On verified computation of laplacian eigenvalues over polygonal domain
Xuefeng Liu, Shin’ichi Oishi,
A2L-A4Computer assisted proofs for solutions to nonlinear elliptic partial differential equations on arbitrary polygonal domain
Akitoshi Takayasu, Xuefeng Liu, Shin’ichi Oishi,