Introduction.In solving boundary value problems by finite difference methods, there are two problems which are fundamental. One is to solve the matrix equations arising from the discrete approximation to a differential equation. The second is to estimate, in terms of the mesh spacing A, the difference between the approximate solution and the exact solution (discretization error). Until recently, most of the research papers considered these problems only for finite difference approximations whose associated square matrices are M-matrices.2 This paper treats both of the problems described above for a class of difference equations whose associated matrices are not M-matrices, but belong to the more general class of monotone matrices, i.e., matrices with nonnegative inverses.After some necessary proofs and definitions from matrix theory, we study the problem of estimating discretization errors. The fundamental paper on obtaining pointwise error bounds dates back to Gershgorin [12]. He established a technique, in the framework of M-matrices, with wide applicability. Many others, Batschelet [1], Collatz [6] and [7], and Forsythe and Wasow [9], to name a few, have generalized Gershgorin's basic work, but their methods still used only M-matrices. Recently, Bramble and Hubbard [4] and [5] considered a class of finite difference approximations without the M-matrix sign property, except for points adjacent to the boundary. They established a technique for recognizing monotone matrices and extended Gershgorin's work to a whole class of high order difference approximations whose associated matrices were monotone rather than M-matrices. We continue their work by presenting an easily applied criterion for recognizing monotone matrices. The procedure we use has the additional advantage of simplifying the work necessary to obtain pointwise error bounds. Using these new tools, we study the discretization error of a very accurate finite difference approximation to a second order elliptic differential equation.Our interests then shift from estimating discretization errors of certain finite difference approximations to how one would solve the resulting system of linear equations. For one-dimensional problems, this is not a serious consideration since Gaussian elimination can be used efficiently. This is basically due to the fact that the associated matrices are band matrices of fixed widths. However, for two-dimensional problems, Gaussian elimination is quite inefficient, because the associated band matrices have widths which increase with decreasing mesh size. Therefore, we need to consider other approaches.For cases where the matrices, arising from finite difference approximations, are symmetric and positive definite, many block successive over-relaxation methods