Videos

Start date cannot be after end date.
Eilenberg-Mac Lane Spaces in HoTT Thumbnail

Eilenberg-Mac Lane Spaces in HoTT

Presenter
  • Daniel Licata
March 13, 2013
IAS
A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers Thumbnail

A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers

Presenter
  • Daniel Licata
November 26, 2012
IAS
Toward a Computational Interpretation of Univalence Thumbnail

Toward a Computational Interpretation of Univalence

Presenter
  • Daniel Licata
October 18, 2012
IAS
Computing with Univalence Thumbnail

Computing with Univalence

Presenter
  • Daniel Licata
September 28, 2012
IAS
Non-commutative Cartier Isomorphism and Quantum Cohomology Thumbnail

Non-commutative Cartier Isomorphism and Quantum Cohomology

Presenter
  • Daniel Pomerleano
November 29, 2024
IAS
Daniel Blair - Dynamic Mechanical Phases in Active and Passive Fluids - IPAM at UCLA Thumbnail

Daniel Blair - Dynamic Mechanical Phases in Active and Passive Fluids - IPAM at UCLA

Presenter
  • Daniel Blair
November 19, 2024
IPAM
On the converse to Eisenstein's last theorem Thumbnail

On the converse to Eisenstein's last theorem

Presenter
  • Daniel Litt
October 14, 2024
IAS
Total Positivity and Determinantal Inequalities Thumbnail

Total Positivity and Determinantal Inequalities

Presenter
  • Daniel Soskin
September 30, 2024
IAS
Daniel McNamee - Studies on strong intuitive reasoning in human experts - IPAM at UCLA Thumbnail

Daniel McNamee - Studies on strong intuitive reasoning in human experts - IPAM at UCLA

Presenter
  • Daniel McNamee
September 25, 2024
IPAM

Algorithms for Exploring Reticulate Evolution using Rooted Phylogenetic Networks

Presenter
  • Daniel Huson
September 19, 2024
ICERM
Impacts of Ramanujan Graphs Thumbnail

Impacts of Ramanujan Graphs

Presenter
  • Daniel Spielman
June 3, 2024
IAS
Daniel Remenik - Solving PNG - IPAM at UCLA Thumbnail

Daniel Remenik - Solving PNG - IPAM at UCLA

Presenter
  • Daniel Remenik
May 24, 2024
IPAM