Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics
Videos from BIRS Workshop
Jean-Philippe Lessard, Université Laval
Monday Sep 22, 2014 09:08 - 10:00
Rigorously verified computing for infinite dimensional nonlinear dynamics: a functional analytic approach
Ray Sheombarsing, VU University Amsterdam
Monday Sep 22, 2014 14:13 - 14:29
Rigorous numerical methods for dynamical systems
Andréa Deschênes, Université Laval
Monday Sep 22, 2014 14:29 - 14:39
Coexistence of hexagons and rolls
Jonathan Jaquette, Rutgers University
Monday Sep 22, 2014 14:39 - 14:47
Parametrizing Invariant Manifolds for Flows in Banach Spaces
Chris Groothedde, VU University Amsterdam
Monday Sep 22, 2014 14:47 - 14:55
Rigorous numerics
Maxime Murray, Université Laval
Monday Sep 22, 2014 14:55 - 15:00
The suspension bridge equation
Aleksander Czechowski, Jagiellonian University
Monday Sep 22, 2014 15:00 - 15:13
Periodic orbits of the FitzHugh-Nagumo equations - a computer assisted proof
Maxime Breden, ENS Cachan
Monday Sep 22, 2014 15:14 - 15:24
Rigorous numerics for a tridiagonal dominant operator
Siegfried Rump, Hamburg University of Technology
Monday Sep 22, 2014 16:07 - 17:03
Computer-assisted proofs using floating point arithmetic using the new INTLAB
Jay Mireles-James, Rutgers University
Tuesday Sep 23, 2014 09:06 - 09:46
Fixed point approach to rigorous validated computation of connecting orbits in infinite dimensions
Piotr Zgliczynski, Jagiellonian University
Tuesday Sep 23, 2014 13:36 - 14:33
Geometric methods in the integration of evolutionary problems in infinite dimension
Michael Plum, Karlsruhe Institute of Technology
Wednesday Sep 24, 2014 09:04 - 09:57
Computer-assisted existence and multiplicity proofs for semilinear elliptic boundary value problems
Christian Reinhardt, VU University Amsterdam
Thursday Sep 25, 2014 09:02 - 09:26
Rigorous numerics using Chebyshev series
Jacek Cyranka, Rutgers University
Thursday Sep 25, 2014 09:26 - 09:48
Some results on global attractors of certain parabolic PDEs and a 2D convection - diffusion PDE
Arnold Neumaier, Universität Wien
Thursday Sep 25, 2014 13:36 - 14:33
Rigorously covering all solutions of infinite-dimensional equations