Lorentz Center - Computational Proofs for Dynamics in PDEs from 6 Jun 2016 through 10 Jun 2016
  Current Workshop  |   Overview   Back  |   Home   |   Search   |     

    Computational Proofs for Dynamics in PDEs
    from 6 Jun 2016 through 10 Jun 2016

 

Description and aim

The past decade has seen enormous advances in the development of rigorously verified computing. For questions related to nonlinear dynamics the most significant results are associated with finite dimensional systems. In this workshop we intend to explore the challenges that lie ahead in applying these techniques to fully fledged problems in the theory of infinite dimensional nonlinear dynamical systems, with a particular emphasis on nonlinear partial differential equations.



   [Back]