Inverse Problems and Control for PDEs and the Hamilton-Jacobi Equation / Problèmes inverses et contrôle des EDP, et équation de Hamilton-Jacobi

Collection Inverse Problems and Control for PDEs and the Hamilton-Jacobi Equation / Problèmes inverses et contrôle des EDP, et équation de Hamilton-Jacobi

Organizer(s) Doubova, Anna ; Floridia, Giuseppe ; Soccorsi, Eric ; Yamamoto, Masahiro
Date(s) 13/06/2022 - 17/06/2022
linked URL https://conferences.cirm-math.fr/2561.html

All the collection videos (4)

49:10

published on July 11, 2022

Optimal design of sensors and actuators

By Enrique Zuazua

44:34

published on July 11, 2022

Viscous Hamilton-Jacobi equations in the superquadratic case

By Alessio Porretta

$Imaging with nonlinear and fractionally damped waves$
50:30

published on July 11, 2022

Imaging with nonlinear and fractionally damped waves

By Barbara Kaltenbacher

46:10

published on July 11, 2022

Obstructions to small time local controllability

By Karine Beauchard

Mathematics
and Interactions

Arithmetic Geometry – A Conference in Honor of Hélène Esnault on the Occasion of Her 70th Birthday

Not Only Scalar Curvature Seminar

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models

Lean for the curious mathematician / Lean pour mathématiciens

Collection Inverse Problems and Control for PDEs and the Hamilton-Jacobi Equation / Problèmes inverses et contrôle des EDP, et équation de Hamilton-Jacobi

Optimal design of sensors and actuators

Viscous Hamilton-Jacobi equations in the superquadratic case

Imaging with nonlinear and fractionally damped waves

Obstructions to small time local controllability

The Klein-Gordon equation on asymptotically flat spacetimes

Wave propagators and traces on singular spaces

Burnett's conjecture in General Relativity

Harmonic measure with Robin boundary conditions

On the Radon-Carleman problem in uniformly rectifiable domains

Complex analysis in Lean

Stone duality and its formalization

Finite Type Properties of (Tame) Fundamental Groups

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

Working with Mathlib