This is a searchable repository of links to math videos. The database is regularly updated with videos from the following websites. If there is a source of videos which you would like to be added to this list, please send me an email at admin@videoarxiv.org.
All talks
-
Title: Algebraic model structures on cubical sets
Speaker:
Link:
-
Title: Lecture 2
Speaker:
Link:
-
Title: Global minimizers of the Allen-Cahn equation and a free boundary problem
Speaker:
Link:
-
Title: Towards a synthetic theory of (∞,1)-categories
Speaker:
Link:
-
Title: Nonlinear and Nonlocal Degenerate Diffusions on Bounded Domains
Speaker:
Link:
-
Title: Mini-course: Computational Higher Type Theory
Speaker:
Link:
-
Title: Mini-course: Synthetic homotopy theory
Speaker:
Link:
-
Title: Projective spaces in synthetic homotopy theory
Speaker:
Link:
-
Title: The Seifert-van Kampen Theorem in Homotopy Type Theory
Speaker:
Link:
-
Title: Lecture 1
Speaker:
Link:
-
Title: The fourth homotopy group of the three-dimensional sphere
Speaker:
Link:
-
Title: Knot energies and W^{1/p,p}-harmonic maps into spheres
Speaker:
Link:
-
Title: Homotopy Type Theory in Lean
Speaker:
Link:
-
Title: Full dispersion water wave models
Speaker:
Link:
-
Title: Mini-course: Computational Higher Type Theory
Speaker:
Link: