Fixed point approach to rigorous validated computation of connecting orbits in infinite dimensions
Jay Mireles-James, Video: Fixed point approach to rigorous validated computation of connecting orbits in infinite dimensions
Jay Mireles-James, Video: Fixed point approach to rigorous validated computation of connecting orbits in infinite dimensions
Jay Mireles-James, Fixed point approach to rigorous validated computation of connecting orbits in infinite dimensions, Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics, BIRS, BIRS talk, 14w5098, math, mathematics, video