Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics

Videos from BIRS Workshop 14w5098

, Université Laval
- 10:00
Rigorously verified computing for infinite dimensional nonlinear dynamics: a functional analytic approach
Watch video | Download video: 201409220908-Lessard.mp4 (152M)
, VU University Amsterdam
- 14:29
Rigorous numerical methods for dynamical systems
Watch video | Download video: 201409221413-Sheombarsing.mp4 (39M)
, Université Laval
- 14:39
Coexistence of hexagons and rolls
Watch video | Download video: 201409221429-Deschenes.mp4 (35M)
, Rutgers University
- 14:47
Parametrizing Invariant Manifolds for Flows in Banach Spaces
Watch video | Download video: 201409221439-Jaquette.mp4 (23M)
, VU University Amsterdam
- 14:55
Rigorous numerics
Watch video | Download video: 201409221447-Groothedde.mp4 (24M)
, Université Laval
- 15:00
The suspension bridge equation
Watch video | Download video: 201409221455-Murray.mp4 (17M)
, Jagiellonian University
- 15:13
Periodic orbits of the FitzHugh-Nagumo equations - a computer assisted proof
Watch video | Download video: 201409221500-Czechowski.mp4 (44M)
, ENS Cachan
- 15:24
Rigorous numerics for a tridiagonal dominant operator
Watch video | Download video: 201409221514-Breden.mp4 (48M)
, Hamburg University of Technology
- 17:03
Computer-assisted proofs using floating point arithmetic using the new INTLAB
Watch video | Download video: 201409221607-Rump.mp4 (160M)
, Rutgers University
- 09:46
Fixed point approach to rigorous validated computation of connecting orbits in infinite dimensions
Watch video | Download video: 201409230906-Mireles-James.mp4 (123M)
, Jagiellonian University
- 14:33
Geometric methods in the integration of evolutionary problems in infinite dimension
Watch video | Download video: 201409231336-Zgliczynski.mp4 (248M)
, Karlsruhe Institute of Technology
- 09:57
Computer-assisted existence and multiplicity proofs for semilinear elliptic boundary value problems
Watch video | Download video: 201409240904-Plum.mp4 (171M)
, VU University Amsterdam
- 09:26
Rigorous numerics using Chebyshev series
Watch video | Download video: 201409250902-Reinhardt.mp4 (64M)
, Rutgers University
- 09:48
Some results on global attractors of certain parabolic PDEs and a 2D convection - diffusion PDE
Watch video | Download video: 201409250926-Cyranka.mp4 (54M)
, Universität Wien
- 14:33
Rigorously covering all solutions of infinite-dimensional equations
Watch video | Download video: 201409251336-Neumaier.mp4 (177M)