Topological techniques for efficient rigorous computation in dynamics

Research output: Contribution to journalArticlepeer-review

40 Scopus citations


We describe topological methods for the efficient, rigorous computation of dynamical systems. In particular, we indicate how Conley's Fundamental Decomposition Theorem is naturally related to combinatorial approximations of dynamical systems. Furthermore, we show that computations of Morse decompositions and isolating blocks can be performed efficiently. We conclude with examples indicating how these ideas can be applied to finite-and infinite-dimensional discrete and continuous dynamical systems.

Original languageEnglish (US)
Pages (from-to)435-477
Number of pages43
JournalActa Numerica
StatePublished - Jan 1 2002
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Numerical Analysis
  • Mathematics(all)


Dive into the research topics of 'Topological techniques for efficient rigorous computation in dynamics'. Together they form a unique fingerprint.

Cite this