Video From 14w5098: Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics
Aleksander Czechowski, Jagiellonian University
Monday, September 22, 2014 15:00 - 15:13
Periodic orbits of the FitzHugh-Nagumo equations - a computer assisted proof