Computer assisted proofs in Nonlinear Dynamics 3/3 Applications & Results

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

Abstract:
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
https://youtu.be/MOZIp9VFcKg

Página del evento
https://mym.iimas.unam.mx/renato/curso.html

Fotos de miniatura y cartel del evento:
https://photos.app.goo.gl/vULTXxVysevtm7BV8

Jean Philippe Lessard en:

McGill University
https://www.mcgill.ca/mathstat/jean-philippe-lessard

Google Scholar
https://scholar.google.com/citations?user=lMKFCbYAAAAJ&hl=en

ResearchGate
https://www.researchgate.net/profile/Jean_Philippe_Lessard

Mathematics Genealogy Project
https://www.genealogy.math.ndsu.nodak.edu/id.php?id=108001

Página de facebook de Ciencias TV
https://www.facebook.com/Ciencias-TV-170487220017476

Videos más vistos del primer semestre del 2018
https://www.facebook.com/Ciencias.TV/playlist/2152932171611110/

Videos Académicos de matemáticas (pláticas grabadas)
https://www.youtube.com/playlist?list=PLrg-5oUhFeiqvXI_Bxb5iOH25gXprez6o

Videos Académicos publicados
https://www.youtube.com/playlist?list=PLrg-5oUhFeirZBmxs7kDn_KrKHUJradjz

Agradecemos el apoyo de

Efraín Vega quien grabó las pláticas

universo.math
http://universo.math.org.mx/
https://www.facebook.com/universo.math

Departamento de Matemáticas del CINVESTAV
http://www.math.cinvestav.mx/

Facultad de Ciencias de la UNAM
http://www.fciencias.unam.mx/
https://www.facebook.com/Fac