Video From 14w5098: Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics
Maxime Breden, ENS Cachan
Monday, September 22, 2014 15:14 - 15:24
Rigorous numerics for a tridiagonal dominant operator
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.