Jean-Philippe Lessard

  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:
    Computer-assisted proofs for periodic orbits of PDEs
    Speaker:
    Jean-Philippe Lessard

    Link:
    https://video-archive.fields.utoronto.ca/view/4656

  3. Title:
    Rigorous Computations for Infinite Dimensional Problems
    Speaker:
    Jean-Philippe Lessard

    Link:
    https://video-archive.fields.utoronto.ca/view/1091

  4. Title:
    Computer-assisted proofs of existence of periodic motions in fluids
    Speaker:
    Jean-Philippe Lessard

    Link:
    https://video-archive.fields.utoronto.ca/view/14760