Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem
From MaRDI portal
Publication:2660610
DOI10.1007/s10543-020-00827-yzbMath1470.65088OpenAlexW3080671365MaRDI QIDQ2660610
Marko Lange, Siegfried Michael Rump
Publication date: 31 March 2021
Published in: BIT (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10543-020-00827-y
ill-posednessunitarily invariant normsverified error bounds\(\sin (\varTheta)\) theoremdistance to rank deficiencyseparation of singular vector subspaces
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
- Residual bounds for some or all singular values
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
- CADNA: a library for estimating round-off error propagation
- On the accurate determination of nonisolated solutions of nonlinear equations
- Adaptive precision floating-point arithmetic and fast robust geometric predicates
- Accuracy of singular vectors obtained by projection-based SVD methods
- Checking robust nonsingularity is NP-hard
- A Jacobi--Davidson Type SVD Method
- Verification methods: Rigorous results using floating-point arithmetic
- Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems
- SYMMETRIC GAUGE FUNCTIONS AND UNITARILY INVARIANT NORMS
- MPFR
- A Fortran 90-based multiprecision system
- Accuracy and Stability of Numerical Algorithms
- Algorithms for Efficient Reproducible Floating Point Summation
- Rundungsfehleranalyse einiger Verfahren zur Summation endlicher Summen
- Accurate Floating-Point Summation Part I: Faithful Rounding
- A New Approach to Probabilistic Rounding Error Analysis
- Interval Methods for Systems of Equations
- Computer Algebra in Scientific Computing
- The Rotation of Eigenvectors by a Perturbation. III
- Perturbation bounds in connection with singular value decomposition
- Accurate Sum and Dot Product
- Verified error bounds for multiple roots of systems of nonlinear equations
This page was built for publication: Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem