Video From 14w5098: Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics
Monday, September 22, 2014 16:07 - 17:03
Computer-assisted proofs using floating point arithmetic using the new INTLAB
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.