TY  - RPRT
TI  - Verified error bounds for the singular values of structured matrices with applications to computer-assisted proofs for differential equations
AU  - Takeshi Terao
AU  - Yoshitaka Watanabe
AU  - Katsuhisa Ozaki
PY  - 2025
UR  - https://arxiv.org/abs/2502.09984
ID  - 2502.09984
ER  -