SUMMARYGiven the generalized symmetric eigenvalue problem Ax = Mx, with A semideÿnite and M deÿnite, we analyse some algebraic formulations for the approximation of the smallest non-zero eigenpairs, assuming that a sparse basis for the null space is available. In particular, we consider the inexact version of the Shift-and-Invert Lanczos method, and we show that apparently di erent algebraic formulations provide the same approximation iterates, under some natural hypotheses. Our results suggest that alternative strategies need to be explored to really take advantage of the special problem setting, other than reformulating the algebraic problem. Experiments on a real application problem corroborate our theoretical ÿndings. Copyright ? 2002 John Wiley & Sons, Ltd.KEY WORDS: generalized eigenvalue problem; Shift-and-Invert Lanczos; iterative system solvers 1. THE PROBLEM We are interested in the analysis of some algebraic formulations for the computation of some of the smallest non-zero positive eigenvalues and associated eigenvectors of the large n × n generalized eigenvalue problemwith M symmetric positive deÿnite and A symmetric positive semideÿnite. We assume that a sparse basis C for the null space of A is available, as is the case in several applications; see for instance References [1-3] and their references. A relevant feature of the considered setting is that the dimension of the null space is very high, compared with the problem dimension, reaching up to, say, one-third of the entire problem dimension. The fact that C is a basis for the null space of A plays a crucial role in our analysis, therefore we emphasize the constraint in terms of null space orthogonality. When only the smallest non-zero eigenvalue is requested,