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: Recent progress on string loop corrections to the low-energy effective action of string compactifications
Speaker:
Link:
-
Title: New Directions in String Cosmology
Speaker:
Link:
-
Title: Alternatives to Inflation and Dark Matter
Speaker:
Link:
-
Title: Polarized condensates in wave dark matter
Speaker:
Link:
-
Title: Dynamical Chern-Simons and gravitational wave mediated particle production
Speaker:
Link:
-
Title: Algebraic Structures (Chapter 6 of MIL)
Speaker:
Link:
-
Title: What Meta-Programming Means and Looks Like
Link:
-
Title: Number Theory (Chapter 5 of MIL)
Link:
-
Title: Sets and Functions (Chapter 4 of MIL)
Speaker:
Link:
-
Title: Logic (Chapter 3 of MIL)
Speaker:
Link:
-
Title: Lecture and Discussion
Speaker:
Link:
-
Title: Installing Lean
Speaker:
Link:
-
Title: Basics (Chapter 2 of MIL)
Speaker:
Link:
-
Title: Introduction to Formalized Mathematics
Speaker:
Link:
-
Title: Quantum symmetries of finite dimensional algebras
Speaker:
Link: