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