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: Network Connectivity Based Filtering of Microbiome Data
Speaker:
Link:
-
Title: Constructing Statistical Methods for High Dimensional Data
Speaker:
Link:
-
Title: Ambulances: Air and Land (not Sea)
Speaker:
Link:
-
Title: Application of optimization and simulation techniques in vehicle allocation and dispatch decisions at Ornge
Speaker:
Link:
-
Title: Turnover and breakdown for solutions of the Muskat equation 1
Speaker:
Link:
-
Title: Geometric aspects of phase separation 1
Speaker:
Link:
-
Title: Conceptually simple combinatorial algorithms
Speaker:
Link:
-
Title: Localization at maps between omega-compact types via a small object argument in HoTT
Speaker:
Link:
-
Title: Topological models of dependent type theory
Speaker:
Link:
-
Title: Symmetry, quantitative Liouville theorems and analysis of large solutions of conformally invariant fully nonlinear elliptic equations
Speaker:
Link:
-
Title: Constructive set theory in Homotopy Type Theory
Speaker:
Link:
-
Title: Induction and homotopy initiality for a class of 1-HITs
Speaker:
Link:
-
Title: Non-Recursive Higher Inductive Types
Speaker:
Link:
-
Title: Reducing HITs to quotients
Speaker:
Link:
-
Title: Construction of complete fractional minimal surfaces
Speaker:
Link: