“…Let us, however, mention a few key papers to briefly sketch what kind of methods have been developed by the rigorous numerics community. In [11,21,9,45,2,1] functional analytic methods, similar in spirit to ours, are used to solve BVPs: the differential equation is reformulated into an equivalent fixed-point problem and is solved by verifying the conditions of the Contraction Mapping Principle with the aid of a computer. Fundamentally different approaches based on topological rather than functional analytic methods, such as the Conleyindex and covering relations, have been proven to be very effective as well (see e.g.…”