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: The Simplicial Model of UA
Speaker:
Link:
-
Title: Galois Representations for Regular Algebraic Cuspidal Automorphic Forms
Speaker:
Link:
-
Title: Abstract Analogues of Flux as Symplectic Invariants
Speaker:
Link:
-
Title: A Complete Dichotomy Rises from the Capture of Vanishing Signatures
Speaker:
Link:
-
Title: Univalent Foundations Seminar
Speaker:
Link:
-
Title: On the Complexity of Matrix Multiplication and Other Tensors
Speaker:
Link:
-
Title: Type Systems
Speaker:
Link:
-
Title: Polynomial Identity Testing of Read-Once Oblivious Algebraic Branching Progress
Speaker:
Link:
-
Title: A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers
Speaker:
Link:
-
Title: Computational Complexity in Mechanism Design
Speaker:
Link:
-
Title: Type Systems
Speaker:
Link:
-
Title: p-Adic Hodge Theory
Speaker:
Link:
-
Title: The Simplicial Model of Univalence
Speaker:
Link:
-
Title: Sato-Tate Distributions in Genus 2
Speaker:
Link:
-
Title: Magnetic Vortices, Nielsen-Olesen-Nambu Strings and Theta Functions
Speaker:
Link: