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

Tuesday, September 23, 2014 09:06 - 09:46
Fixed point approach to rigorous validated computation of connecting orbits in infinite dimensions

Download this video (123M)

Other videos from this workshop