Toward Computer Assisted Morse Theory.

Series
CDSNS Colloquium
Time
Friday, September 7, 2012 - 11:05am for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Jason Mireles-James – Rutgers University
Organizer
Rafael de la Llave
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.