Toward Computer Assisted Morse Theory.

CDSNS Colloquium
Friday, September 7, 2012 - 11:05
1 hour (actually 50 minutes)
Skiles 006
Rutgers University
 I'll discuss some work on rigorous computation of invariant manifolds and computer assisted proof of the existence of transverse connecting orbits for differential equations.  I'm also interested in how these computations can be used to obtain global topological data, such as the chain groups and boundary maps of Morse Theory.