Index Pairs Algorithms
AbstractWe introduce some modifications and extensions of the concept of index pair
in the Conley index theory. We then show how these concepts may be used to overcome some difficulties in obtaining efficient algorithms computing the Conley index. We also present examples of applications to computer assisted proofs in dynamics.