An Algorithmic Approach to the Conley Index Theory

We introduce a class of representable sets which is closed under the operations of set theoretical union, intersection, difference, and topological interior and closure. We use this class to construct an algorithm which verifies if for a given dynamical system a given set is an isolating neighborhood. In the case of a positive answer the algorithm constructs an index pair.