In this paper we propose a rigorous numerical technique for the computation of symmetric connecting orbits for ordinary differential equations. The idea is to solve a projected boundary value problem (BVP) in a function ...