TY  - RPRT
TI  - Method for Verifying Solutions of Sparse Linear Systems with General Coefficients
AU  - Takeshi Terao
AU  - Katsuhisa Ozaki
PY  - 2024
UR  - https://arxiv.org/abs/2406.02033
ID  - 2406.02033
ER  -