Computer assisted proofs in Nonlinear Dynamics 2/3. Dynamics of delay equations (Jean Philippe Lessard)

Plática dada por Jean Philippe Lessard (McGill University) en el “Computer assisted proofs in Nonlinear Dynamics” el jueves 2 de agosto del 2018 en el Salón 200 del Instituto de Investigaciones en y en Sistemas de la UNAM, IIMAS

The main question addressed in this workshop is this: suppose we have computed a good numerical approximation — can we establish the existence of a true solution nearby? Combining tools from functional analysis, complex analysis, numerical analysis, and interval computing, we see that for many of the problems mentioned above the answer is yes. Over the three days we will give a broad and example driven overview of the field of validated numerics.

Video de la plática

Página del evento

Fotos de miniatura y cartel del evento:

Jean Philippe Lessard en:

McGill University

Google Scholar


Mathematics Genealogy Project

Página de de Ciencias TV

Videos más vistos del primer semestre del 2018

Videos Académicos de (pláticas grabadas)

Videos Académicos publicados

Agradecemos el apoyo de

Efraín Vega quien grabó las pláticas


Departamento de Matemáticas del CINVESTAV

de Ciencias de la UNAM