EDP : Maxime Breden (CMAP, Ecole Polytechnique) : An introduction to computer-assisted proofs for nonlinear equations: how to turn a numerical simulation into a theorem.
Bâtiment Fermat, salle 4205Résumé : The goal of a posteriori validation methods is to get a quantitative and rigorous description of some specific solutions of nonlinear ODEs or PDEs, based on numerical simulations. The general strategy consists in combining a priori and a