number | title/author |
---|---|
A3L-A1 | Computer assisted proofs of solutions to Nonlinear elliptic partial differential equations Akitoshi Takayasu, Shin’ichi Oishi, Takayuki Kubo, |
A3L-A2 | Verified Bounds for Singular Values, in Particular for the Spectral Norm of a Matrix and its Inverse Siegfried Rump, |
A3L-A3 | Accurate Matrix Singular Values Takeshi Ogita, |
A3L-A4 | Condition Numbers of Two-Dimensional Orientation Problem Katsuhisa Ozaki, Takeshi Ogita, Shin’ichi Oishi, |