Isolating Block Validation in Matlab

This web page contains supplemental material for the article Rigorous validation of isolating blocks for flows and their Conley indices by Thomas Stephens and Thomas Wanner, which will be published in the SIAM Journal on Applied Dynamical Systems. The Matlab code for validating three-dimensional isolating blocks using the interval arithmetic package Intlab can be downloaded here as a gzipped tar archive. The software contains a few sample scripts, which are described below.
Thomas Wanner, September 28, 2014.