%0 Journal Article
%A Ozaki, Katsuhisa
%A Terao, Takeshi
%A Ogita, Takeshi
%A Katagiri, Takahiro
%T Verified numerical computations for large-scale linear systems
%J Applications of Mathematics
%D 2021
%P 269-285
%V 66
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.21136/AM.2021.0318-19/
%R 10.21136/AM.2021.0318-19
%G en
%F 10_21136_AM_2021_0318_19