Videos

Start date cannot be after end date.
Advanced ab initio methods in thermoelectrics: working more to relax more accurately Thumbnail

Advanced ab initio methods in thermoelectrics: working more to relax more accurately

Presenter
  • Matthieu Verstraete
November 20, 2013
IPAM
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