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: Week 9, Afternoon lecture
Speaker:
Link:
-
Title: Week 9, Morning lecture
Speaker:
Link:
-
Title: The gerbe over G
Speaker:
Link:
-
Title: Rational Vector Recovery By Error Correction and Cabay Termination
Speaker:
Link:
-
Title: Constructing solutions of Hitchin's equations near the ends of the moduli space.
Speaker:
Link:
-
Title: Revealing Neutrinos
Speaker:
Link:
-
Title: Week 8, Afternoon lecture
Speaker:
Link:
-
Title: Week 8, Morning lecture
Speaker:
Link:
-
Title: Constructing solutions of Hitchin's equations near the ends of the moduli space.
Speaker:
Link:
-
Title: Software for Linear Differential Systems with Singularities
Speaker:
Link:
-
Title: Deformation of Kahler structures into generalized Kahler structures
Speaker:
Link:
-
Title: A Comparison of Approaches for Incorporating Syntax-Based Mathematical Algorithms into Proof Assistants
Speaker:
Link:
-
Title: A Coq formalization of a sign determination algorithm in real algebraic geometry
Speaker:
Link:
-
Title: Leveraging the structure of theory libraries
Speaker:
Link:
-
Title: Formalized mathematics: proofs of transcendence, especially pi
Speaker:
Link: