@article{10_21136_AM_2021_0318_19,
     author = {Ozaki, Katsuhisa and Terao, Takeshi and Ogita, Takeshi and Katagiri, Takahiro},
     title = {Verified numerical computations for large-scale linear systems},
     journal = {Applications of Mathematics},
     pages = {269--285},
     publisher = {mathdoc},
     volume = {66},
     number = {2},
     year = {2021},
     doi = {10.21136/AM.2021.0318-19},
     mrnumber = {4226459},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.21136/AM.2021.0318-19/}
}