Videos

Start date cannot be after end date.
Type Classes for Mathematical Formalizations in Coq Thumbnail

Type Classes for Mathematical Formalizations in Coq

Presenter
  • Matthieu Sozeau
October 3, 2012
IAS

Admissible Covers and Rescaling Limits (after Matthieu Arfeux)

Presenter
  • Xavier Buff
April 16, 2012
ICERM
Bifurcation Loci of Families Finite Type Meromorphic Maps Thumbnail

Bifurcation Loci of Families Finite Type Meromorphic Maps

Presenter
  • Núria Fagella
May 6, 2022
SLMath
Birfurcations in Families of Meromorphic Maps Thumbnail

Birfurcations in Families of Meromorphic Maps

Presenter
  • Anna Miriam Benini
February 4, 2022
SLMath