Verified bounds for all the singular values of matrix

DOI10.1007/s13160-014-0145-5zbMath1312.65062OpenAlexW2134245384MaRDI QIDQ2257612

Shinya Miyajima

Publication date: 25 February 2015

Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s13160-014-0145-5

zbMATH Keywords

algorithmnumerical resultgeneralized singular valuessingular values of matrixverified bounds

Mathematics Subject Classification ID

Numerical computation of eigenvalues and eigenvectors of matrices (65F15) Numerical solutions to overdetermined systems, pseudoinverses (65F20) Eigenvalues, singular values, and eigenvectors (15A18) Algorithms with automatic result verification (65G20)

Uses Software

• SparseMatrix
• mctoolbox
• AggDef2
• VERSOFT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
• Accurate singular values and differential qd algorithms
• An implementation of the dqds algorithm (positive case)
• dqds with Aggressive Early Deflation
• The university of Florida sparse matrix collection
• Towards a Generalized Singular Value Decomposition
• Generalizing the Singular Value Decomposition
• Accuracy and Stability of Numerical Algorithms
• Verification Algorithms for Generalized Singular Values
• Fast enclosure of matrix eigenvalues and singular values via rounding mode controlled computation