Pages that link to "Item:Q634116"
From MaRDI portal
The following pages link to Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse (Q634116):
Displayed 20 items.
- Exact symbolic-numeric computation of planar algebraic curves (Q387800) (← links)
- A heuristic verification of the degree of the approximate GCD of two univariate polynomials (Q466858) (← links)
- Computer-assisted equilibrium validation for the diblock copolymer model (Q501487) (← links)
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration (Q671009) (← links)
- On the real stability radius for some classes of matrices (Q831983) (← links)
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
- Time complexity analysis of quantum difference methods for linear high dimensional and multiscale partial differential equations (Q2088365) (← links)
- Some improvements of invertibility verifications for second-order linear elliptic operators (Q2174959) (← links)
- Verified bounds for all the singular values of matrix (Q2257612) (← links)
- Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation (Q2257618) (← links)
- A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems (Q2408147) (← links)
- Componentwise enclosure for solutions of least squares problems and underdetermined systems (Q2442244) (← links)
- Norm bound computation for inverses of linear operators in Hilbert spaces (Q2634224) (← links)
- Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem (Q2660610) (← links)
- Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators (Q2803604) (← links)
- Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems (Q2826307) (← links)
- Computing Enclosures for the Matrix Exponential (Q5146627) (← links)
- Accuracy of the $s$-Step Lanczos Method for the Symmetric Eigenproblem in Finite Precision (Q5264995) (← links)
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces (Q6101884) (← links)
- Fast computation of error bounds for all eigenpairs of a Hermitian and all singular pairs of a rectangular matrix with emphasis on eigen- and singular value clusters (Q6133118) (← links)