Toward Computer Assisted Morse Theory.
- Series
- CDSNS Colloquium
- Time
- Friday, September 7, 2012 - 11:05 for 1 hour (actually 50 minutes)
- Location
- Skiles 006
- Speaker
- Jason Mireles-James – 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.