Numerical validation of solutions of saddle point matrix equations
From MaRDI portal
Publication:5317905
DOI10.1002/nla.342zbMath1071.65068OpenAlexW2151311376MaRDI 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
Error bounds for boundary value problems involving PDEs (65N15) Stokes and related (Oseen, etc.) flows (76D07) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Algorithms with automatic result verification (65G20)
Related Items
Fast verified solutions of linear systems, A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems, Structured backward errors for generalized saddle point systems, Verification methods for nonlinear equations with saddle point functions, New preconditioners based on symmetric-triangular decomposition for saddle point problems, A sharp error bound of the approximate solutions for saddle point linear systems, Some simple criteria for the solvability of block \(2 \times 2\) linear systems