Topological horseshoes of traveling waves for a fast-slow predator-prey system

We show the existence of a set of periodic traveling waves in a system of two scalar reaction diffusion equations, which is in one-to-one correspondence with a full shift on two symbols. We use a novel combination of rigorous numerical computations and the topological techniques of the Conley index theory. This approach is quite general, and this paper is intended as a demonstration of its usefulness and applicability.