Abstract
We 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.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Mrozek, M. Index Pairs Algorithms. Found Comput Math 6, 457–493 (2006). https://doi.org/10.1007/s10208-005-0182-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10208-005-0182-1