number | title/author |
---|---|
809 | On the Interpolation Constants over Triangular Elements Kenta Kobayashi, |
812 | On guaranteed eigenvalue estimation of compact differential operator with singularity Xuefeng LIU, Shin'ich OISHI, |
816 | A computer-assisted proof method of the invertibility to elliptic operators Akitoshi Takayasu, Shin'ichi Oishi, |
820 | Accurate and Rigorous Logarithm Function Algorithm Naoya Yamanaka, Shin'ichi Oishi, |