Fast verification of solutions of matrix equations
From MaRDI portal
Recommendations
Cited in
(31)- A sharp error bound of the approximate solutions for saddle point linear systems
- Fast enclosure of matrix eigenvalues and singular values via rounding mode controlled computation
- scientific article; zbMATH DE number 1694910 (Why is no real title available?)
- Convergence of Rump's method for computing the Moore-Penrose inverse.
- Nonsingularity, positive definiteness, and positive invertibility under fixed-point data rounding.
- An algorithm for automatically selecting a suitable verification method for linear systems
- Error-free computer solution of certain system of linear equations
- Tight and efficient enclosure of matrix multiplication by using optimized BLAS.
- Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems
- Verification May be Better than Estimation
- scientific article; zbMATH DE number 6890177 (Why is no real title available?)
- Verified numerical computations for large-scale linear systems.
- scientific article; zbMATH DE number 2015315 (Why is no real title available?)
- Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations
- Super-fast validated solution of linear systems
- Fast algorithms for floating-point interval matrix multiplication
- Fast inclusion of interval matrix multiplication
- Remarks on Verified Inclusions for the Solution of Systems of Linear Equations
- Validated Solutions of Saddle Point Linear Systems
- Fast enclosure for solutions of Sylvester equations
- Fast verified solutions of linear systems
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
- Direct methods for linear systems with inexact input data
- Numerical verification methods for spherical \(t\)-designs
- On verified numerical computations in convex programming
- Fast enclosure for solutions in underdetermined systems
- scientific article; zbMATH DE number 1639667 (Why is no real title available?)
- A method of obtaining verified solutions for linear systems suited for Java
- Modified error bounds for approximate solutions of dense linear systems
- Fast interval matrix multiplication
- A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems
This page was built for publication: Fast verification of solutions of matrix equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1348935)
