The 2010 International Symposium on Nonlinear Theory and its Applications

number title/author
A3L-A1Computer assisted proofs of solutions to Nonlinear elliptic partial differential equations
Akitoshi Takayasu, Shin’ichi Oishi, Takayuki Kubo,
A3L-A2Verified Bounds for Singular Values, in Particular for the Spectral Norm of a Matrix and its Inverse
Siegfried Rump,
A3L-A3Accurate Matrix Singular Values
Takeshi Ogita,
A3L-A4Condition Numbers of Two-Dimensional Orientation Problem
Katsuhisa Ozaki, Takeshi Ogita, Shin’ichi Oishi,