This page contains the links to some websites related to homology computation and computer-assisted proofs in dynamics.
Computational Homology—a book by Tomasz Kaczynski, Konstantin Mischaikow and Marian Mrozek (Appl. Math. Sci. Vol. 157, Springer Verlag, NY 2004).
CAPD—the website of the Computer Assisted Proofs in Dynamics group at the Jagiellonian University, Kraków, Poland
GAIO—software for Global Analysis of Invariant Objects
TMSCSCS—Topological Methods in Scientific Computing, Statistics and Computer Science
DyToComp—Dynamics, Topology and Computations, June 4-10, 2006 (conference website; includes talk presentations)