Numerical validation of solutions of saddle point matrix equations
From MaRDI portal
Publication:5317905
DOI10.1002/nla.342zbMath1071.65068MaRDI QIDQ5317905
Publication date: 21 September 2005
Published in: Numerical Linear Algebra with Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/nla.342
65N15: Error bounds for boundary value problems involving PDEs
76D07: Stokes and related (Oseen, etc.) flows
65N30: Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs
65G20: Algorithms with automatic result verification
Related Items
Structured backward errors for generalized saddle point systems, A sharp error bound of the approximate solutions for saddle point linear systems, New preconditioners based on symmetric-triangular decomposition for saddle point problems, Fast verified solutions of linear systems, Verification methods for nonlinear equations with saddle point functions, Some simple criteria for the solvability of block \(2 \times 2\) linear systems, A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems