Rump, Siegfried M.Siegfried M.Rump2020-11-242020-11-242010-11-11BIT Numerical Mathematics 2 (51): 367-384 (2011-06-01)http://hdl.handle.net/11420/7925The singular value decomposition and spectral norm of a matrix are ubiquitous in numerical analysis. They are extensively used in proofs, but usually it is not necessary to compute them. However, there are some important applications in the realm of verified error bounds for the solution of ordinary and partial differential equations where reasonably tight error bounds for the spectral norm of a matrix are mandatory. We present various approaches to this together with some auxiliary useful estimates. © 2010 Springer Science + Business Media B.V.en1572-9125BIT20102367384Springer Science Business Media B.V.Condition numberError boundsINTLABSpectral normVerificationInformatikMathematikVerified bounds for singular values, in particular for the spectral norm of a matrix and its inverseJournal Article10.1007/s10543-010-0294-0Other