14w5098 Home Confirmed Participants Workshop Videos Testimonials

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

Watch video | Download video: 201409220908-Lessard.mp4 (152M)

Video: Jean-Philippe Lessard, "Rigorously verified computing for infinite dimensional nonlinear dynamics: a functional analytic approach" http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409220908-Lessard.html

Ray Sheombarsing, VU University Amsterdam

Monday Sep 22, 2014 14:13 - 14:29

Rigorous numerical methods for dynamical systems

Watch video | Download video: 201409221413-Sheombarsing.mp4 (39M)

Video: Ray Sheombarsing, "Rigorous numerical methods for dynamical systems" http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221413-Sheombarsing.html

Andréa Deschênes, Université Laval

Monday Sep 22, 2014 14:29 - 14:39

Coexistence of hexagons and rolls

Watch video | Download video: 201409221429-Deschenes.mp4 (35M)

Video: Andréa Deschênes, "Coexistence of hexagons and rolls" http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221429-Deschenes.html

Jonathan Jaquette, Rutgers University

Monday Sep 22, 2014 14:39 - 14:47

Parametrizing Invariant Manifolds for Flows in Banach Spaces

Watch video | Download video: 201409221439-Jaquette.mp4 (23M)

Video: Jonathan Jaquette, "Parametrizing Invariant Manifolds for Flows in Banach Spaces" http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221439-Jaquette.html

Chris Groothedde, VU University Amsterdam

Monday Sep 22, 2014 14:47 - 14:55

Rigorous numerics

Watch video | Download video: 201409221447-Groothedde.mp4 (24M)

Video: Chris Groothedde, "Rigorous numerics" http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221447-Groothedde.html

Maxime Murray, Université Laval

Monday Sep 22, 2014 14:55 - 15:00

The suspension bridge equation

Watch video | Download video: 201409221455-Murray.mp4 (17M)

Video: Maxime Murray, "The suspension bridge equation" http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221455-Murray.html

Aleksander Czechowski, Jagiellonian University

Monday Sep 22, 2014 15:00 - 15:13

Periodic orbits of the FitzHugh-Nagumo equations - a computer assisted proof

Watch video | Download video: 201409221500-Czechowski.mp4 (44M)

Video: Aleksander Czechowski, "Periodic orbits of the FitzHugh-Nagumo equations - a computer assisted proof" http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221500-Czechowski.html

Maxime Breden, ENS Cachan

Monday Sep 22, 2014 15:14 - 15:24

Rigorous numerics for a tridiagonal dominant operator

Watch video | Download video: 201409221514-Breden.mp4 (48M)

Video: Maxime Breden, "Rigorous numerics for a tridiagonal dominant operator" http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221514-Breden.html

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

Watch video | Download video: 201409221607-Rump.mp4 (160M)

Video: Siegfried Rump, "Computer-assisted proofs using floating point arithmetic using the new INTLAB" http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221607-Rump.html

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

Watch video | Download video: 201409230906-Mireles-James.mp4 (123M)

Video: Jay Mireles-James, "Fixed point approach to rigorous validated computation of connecting orbits in infinite dimensions" http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409230906-Mireles-James.html

Piotr Zgliczynski, Jagiellonian University

Tuesday Sep 23, 2014 13:36 - 14:33

Geometric methods in the integration of evolutionary problems in infinite dimension

Watch video | Download video: 201409231336-Zgliczynski.mp4 (248M)

Video: Piotr Zgliczynski, "Geometric methods in the integration of evolutionary problems in infinite dimension" http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409231336-Zgliczynski.html

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

Watch video | Download video: 201409240904-Plum.mp4 (171M)

Video: Michael Plum, "Computer-assisted existence and multiplicity proofs for semilinear elliptic boundary value problems" http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409240904-Plum.html

Christian Reinhardt, VU University Amsterdam

Thursday Sep 25, 2014 09:02 - 09:26

Rigorous numerics using Chebyshev series

Watch video | Download video: 201409250902-Reinhardt.mp4 (64M)

Video: Christian Reinhardt, "Rigorous numerics using Chebyshev series" http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409250902-Reinhardt.html

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

Watch video | Download video: 201409250926-Cyranka.mp4 (54M)

Video: Jacek Cyranka, "Some results on global attractors of certain parabolic PDEs and a 2D convection - diffusion PDE" http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409250926-Cyranka.html

Arnold Neumaier, Universität Wien

Thursday Sep 25, 2014 13:36 - 14:33

Rigorously covering all solutions of infinite-dimensional equations

Watch video | Download video: 201409251336-Neumaier.mp4 (177M)

Video: Arnold Neumaier, "Rigorously covering all solutions of infinite-dimensional equations" http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409251336-Neumaier.html