In this paper, we discuss with guaranteed a priori and a posteriori error estimates of finite element approximations for not necessarily coercive linear second order Dirichlet problems. Here, 'guaranteed' means we can get the error bounds in which all constants included are explicitly given or represented as a numerically computable form. Using the invertibility condition of concerning elliptic operator, guaranteed a priori and a posteriori error estimates are formulated. This kind of estimates plays essential and important roles in the numerical verification of solutions for nonlinear elliptic problems. Several numerical examples that confirm the actual effectiveness of the method are presented. (C) 2007 Elsevier B.V. All rights reserved.
