Video From 14w5098: Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics

Monday, September 22, 2014 15:00 - 15:13
Periodic orbits of the FitzHugh-Nagumo equations - a computer assisted proof

Download this video (44M)

Other videos from this workshop