Videos

Start date cannot be after end date.

Orthogonal Projections and sumset estimates in convex geometry.

Presenter
  • Artem Zvavitch
November 14, 2022
ICERM
On Voevodsky's univalence principle Thumbnail

On Voevodsky's univalence principle

Presenter
  • André Joyal
September 11, 2018
IAS
Deep Generative Networks as Inverse Problems Thumbnail

Deep Generative Networks as Inverse Problems

Presenter
  • Stéphane Mallat
February 6, 2018
IPAM
Matthieu Fradelizi - Volume of p-zonoids and inequalities for determinants Thumbnail

Matthieu Fradelizi - Volume of p-zonoids and inequalities for determinants

Presenter
  • Matthieu Fradelizi
February 10, 2022
IPAM
Local Dynamics in SCV and Applications: Parabolic Implosion in Dimension 1 Thumbnail

Local Dynamics in SCV and Applications: Parabolic Implosion in Dimension 1

Presenter
  • Matthieu Astorg
February 8, 2022
SLMath
Type Classes for Mathematical Formalizations in Coq Thumbnail

Type Classes for Mathematical Formalizations in Coq

Presenter
  • Matthieu Sozeau
October 3, 2012
IAS