CRM-CAMP (Computer-Assisted Mathematical Proofs) in Nonlinear Analysis

External homepage

analysis of PDEs classical analysis and ODEs dynamical systems functional analysis numerical analysis

Centre de recherches mathématiques

Audience: Researchers in the discipline
Seminar series time: Tuesday 14:00-15:00 in your time zone, UTC
Organizers: Jean-Philippe Lessard*, Jason D. Mireles James, Jan Bouwe van den Berg
*contact for this listing

To have access to the zoom details of the talks, please register at

Upcoming talks
Past talks
Your timeSpeakerTitle
TueSep 2214:00Shane KepleyComputing and validating collisions, ejections, and homoclinics for the three body problem
TueSep 1514:00Elena QueiroloValidating Hopf bifurcations in the Kuramoto-Sivashinsky PDE
TueSep 0814:00Isaia NisoliA proof of Noise Induced Order in the BZ map, and some remarks on the phenomenon
TueSep 0114:00Maciej CapińskiComputer assisted proofs of Arnold Diffusion
TueAug 2514:00Maxime Breden & Maximilian EngelComputer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
TueAug 1814:00Caroline WormellRigorously validated estimation of statistical properties of expanding maps
TueAug 1114:00Renato CallejaTorus knot choreographies in the n-body problem
TueAug 0414:00Daniel WilczakRigorous numerical investigation of chaos and stability of periodic orbits in the Kuramoto-Sivashinsky PDE
TueJul 2814:00Nilima NigamA modification of Schiffer's conjecture, and a proof via finite elements
TueJul 2114:00Xuefeng LiuSolution verification for the stationary Navier-Stokes equation over bounded non-convex 3D domains
TueJul 1414:00Javier Gómez-SerranoUniqueness of Whitham's highest cusped wave
TueJul 0714:00Michael PlumComputer-assisted existence and multiplicity proofs for semilinear elliptic problems on bounded and unbounded domains
TueJun 3014:00Jonathan JaquetteAn overabundance of breathers in a nonlinear Schrödinger equation without gauge invariance
TueJun 2314:00Jan Bouwe van den BergStable periodic patterns in 3D for the Ohta-Kawasaki problem
Embed this schedule
Export series to