CRM-CAMP (Computer-Assisted Mathematical Proofs) in Nonlinear Analysis
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 www.crm.math.ca/camp-nonlinear
Upcoming talks
Past talks
| Your time | Speaker | Title | |||
|---|---|---|---|---|---|
| Tue | Jul 21 | 14:00 | Xuefeng Liu | Solution verification for the stationary Navier-Stokes equation over bounded non-convex 3D domains | |
| Tue | Jul 28 | 14:00 | Nilima Nigam | A modification of Schiffer's conjecture, and a proof via finite elements | |
| Tue | Aug 04 | 14:00 | Daniel Wilczak | Rigorous numerical investigation of chaos and stability of periodic orbits in the Kuramoto-Sivashinsky PDE | |
| Tue | Aug 11 | 14:00 | Renato Calleja | Torus knot choreographies in the n-body problem | |
| Tue | Aug 18 | 14:00 | Caroline Wormell | TBA | |
| Tue | Aug 25 | 14:00 | Maxime Breden | TBA | |
Export series to