抄録
We investigate efficiency of four numerical methods for verifying the accuracy of approximate solutions of saddle point matrix equations. These methods are compared by using a priori measure of stability and examples derived from mixed finite element discretization of the Stokes equations.
