Rigorous validation of isolating blocks for flows and their Conley indices

Stephens, ThomasWanner, Thomas2016-07-062016-07-062014-05https://hdl.handle.net/11299/1812641 online resource (PDF, 30 pages, includes illustrations)enIsolated invariant setIsolating blockConley indexComputer-assisted proofHeteroclinic orbitPeriodic orbit(MSC2010)37B30(MSC2010)37B35(MSC2010)37C10(MSC2010)37C29(MSC2010)37C70(MSC2010)37M20Rigorous validation of isolating blocks for flows and their Conley indicesPreprint