Summary: This paper is concerned with convergence properties of the classical proximal point algorithm for finding zeroes of maximal monotone operators in an infinite-dimensional Hilbert space. It is well known that the proximal point algorithm converges weakly to a solution under very mild assumptions. However, it was shown by

*O. Güler* [SIAM J. Control Optim. 29, 403–419 (1991;

Zbl 0737.90047)] that the iterates may fail to converge strongly in the infinite-dimensional case. We propose a new proximal-type algorithm which does converge strongly, provided the problem has a solution. Moreover, our algorithm solves proximal point subproblems inexactly, with a constructive stopping criterion introduced in the authors paper [J. Convex Anal. 6, 59–70 (1999;

Zbl 0961.90128)]. Strong convergence is foreed by combining proximal point iterations with simple projection steps onto intersection of two halfspaces containing the solution set. Additional cost of this extra projection step is essentially negligible since it amounts, at most, to solving a linear system of two equations in two uniknowns.