BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:6820@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20200204T110000
DTEND;TZID=Europe/Paris:20200204T120000
DTSTAMP:20241120T202019Z
URL:https://www.i2m.univ-amu.fr/evenements/maxime-breden-une-introduction-
 aux-preuves-assistees-par-ordinateur-pour-letude-dequations-non-lineaires-
 ou-comment-transformer-une-simulation-numerique-en-theoreme/
SUMMARY: (...): Maxime BREDEN - Une introduction aux preuves assistées par
  ordinateur pour l'étude d'équations non-linéaires\, ou comment transfo
 rmer une simulation numérique en théorème
DESCRIPTION:: Maxime BREDEN (CMAP\, Ecole Polytechnique Paris)\n\nLes méth
 odes de validation a posteriori visent à obtenir des théorèmes permetta
 nt de décrire précisément certaines solutions de systèmes d'EDO ou d'E
 DP non linéaires\, en se basant sur des simulations numériques. La strat
 égie générale consiste à combiner des estimations d'erreur a posterior
 i\, l'arithmétique d'intervalles et un théorème de point fixe\, appliqu
 é à un opérateur de type quasi-Newton\, pour démontrer rigoureusement 
 l'existence d'une vraie solution\, dans un voisinage explicite d'une solut
 ion numérique obtenue au préalable.\n\nJe présenterai un cadre généra
 l dans lequel ces méthodes s'appliquent\, illustrerai leur potentiel à t
 ravers plusieurs exemples allant de la dynamique des populations aux équa
 tions de Navier-Stokes\, et évoquerai de possibles directions de recherch
 e en lien avec ces nouvelles techniques.
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Maxime_Breden.jpg
CATEGORIES:Séminaire,Analyse Appliquée
LOCATION:I2M Chateau-Gombert - CMI\, Salle de Séminaire R164 (1er étage)\
 , 39 Rue Joliot Curie\, 13013 Marseille\, France\, Campus Château-Gombert
 \, 
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=39 Rue Joliot Curie\, 13013
  Marseille\, France\, Campus Château-Gombert\, ;X-APPLE-RADIUS=100;X-TITL
 E=I2M Chateau-Gombert - CMI\, Salle de Séminaire R164 (1er étage):geo:0,
 0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20191027T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR