A second order correction step that brings the iterates closer to the feasible set is described. If sufficiently precise Hessian information is used, this correction step allows us to prove that the ...

The theoretical analysis and computational implementation of factorization-based methods for the numerical solution of linear boundary value problems for ordinary differential equations are presented.