  This paper is dedicated to the problem of isolating and validating zeros of
non-linear two point boundary value problems. We present a method for such
purpose based on the Newton-Kantorovich Theorem to rigorously enclose isolated
zeros of two point boundary value problem with Neumann boundary conditions.

Analysis of PDEs;Functional Analysis