TY  - JOUR
AU  - Ozaki, Katsuhisa
AU  - Terao, Takeshi
AU  - Ogita, Takeshi
AU  - Katagiri, Takahiro
TI  - Verified numerical computations for large-scale linear systems
JO  - Applications of Mathematics
PY  - 2021
SP  - 269
EP  - 285
VL  - 66
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.21136/AM.2021.0318-19/
DO  - 10.21136/AM.2021.0318-19
LA  - en
ID  - 10_21136_AM_2021_0318_19
ER  -