• DML-CZ Home

Author: Ozaki, Katsuhisa

• Ozaki, Katsuhisa; Terao, Takeshi; Ogita, Takeshi; Katagiri, Takahiro: Verified numerical computations for large-scale linear systems. (English). Applications of Mathematics, vol. 66 (2021), issue 2, pp. 269-285