Birs- 14w5098: Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics

  1. Title:
    Rigorously verified computing for infinite dimensional nonlinear dynamics: a functional analytic approach
    Speaker:
    Jean-Philippe Lessard

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409220908-Lessard.html

  2. Title:
    Rigorous numerical methods for dynamical systems
    Speaker:
    Ray Sheombarsing

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221413-Sheombarsing.html

  3. Title:
    Coexistence of hexagons and rolls
    Speaker:
    Andréa Deschênes

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221429-Deschenes.html

  4. Title:
    Parametrizing Invariant Manifolds for Flows in Banach Spaces
    Speaker:
    Jonathan Jaquette

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221439-Jaquette.html

  5. Title:
    Rigorous numerics
    Speaker:
    Chris Groothedde

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221447-Groothedde.html

  6. Title:
    The suspension bridge equation
    Speaker:
    Maxime Murray

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221455-Murray.html

  7. Title:
    Periodic orbits of the FitzHugh-Nagumo equations - a computer assisted proof
    Speaker:
    Aleksander Czechowski

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221500-Czechowski.html

  8. Title:
    Rigorous numerics for a tridiagonal dominant operator
    Speaker:
    Maxime Breden

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221514-Breden.html

  9. Title:
    Computer-assisted proofs using floating point arithmetic using the new INTLAB
    Speaker:
    Siegfried Rump

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409221607-Rump.html

  10. Title:
    Fixed point approach to rigorous validated computation of connecting orbits in infinite dimensions
    Speaker:
    Jay Mireles-james

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409230906-Mireles-James.html

  11. Title:
    Geometric methods in the integration of evolutionary problems in infinite dimension
    Speaker:
    Piotr Zgliczynski

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409231336-Zgliczynski.html

  12. Title:
    Computer-assisted existence and multiplicity proofs for semilinear elliptic boundary value problems
    Speaker:
    Michael Plum

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409240904-Plum.html

  13. Title:
    Rigorous numerics using Chebyshev series
    Speaker:
    Christian Reinhardt

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409250902-Reinhardt.html

  14. Title:
    Some results on global attractors of certain parabolic PDEs and a 2D convection - diffusion PDE
    Speaker:
    Jacek Cyranka

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409250926-Cyranka.html

  15. Title:
    Rigorously covering all solutions of infinite-dimensional equations
    Speaker:
    Arnold Neumaier

    Link:
    http://www.birs.ca/events/2014/5-day-workshops/14w5098/videos/watch/201409251336-Neumaier.html