“…Having a good preconditioning method or, in other words, a good and feasible approximation of A −1 , we may also efficiently estimate a posteriori the energy norm of the error during iterative solution processes [1,5,6,9,17]. This estimate can be used in adaptive algorithms [5,7,8]. In practice, matrix A is never built explicitly, only matrix-vector products are evaluated ( [25]).…”