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: Modeling, analysis and simulation for degenerate dipolar quantum gas
Speaker:
Link:
-
Title:
Speaker:
Link:
-
Title: Dimension drop algebras and the near amalgamation property
Speaker:
Link:
-
Title: Exponential Gauss-Manin Connections
Speaker:
Link:
-
Title: Vortices in superfluid Bose-Einstein condensates: numerical and mathematical contributions
Speaker:
Link:
-
Title: Hodge theory for double surfaces
Speaker:
Link:
-
Title: Ontologies and Using Mathematical Structures
Speaker:
Link:
-
Title: Hammering towards QED
Speaker:
Link:
-
Title: Learning Reasoning and Understanding in Mathematics
Speaker:
Link:
-
Title: Semantic Math Languages in the Context of a "Global Math Digital Library": My Personal View
Speaker:
Link:
-
Title: HOL Light and Formal Mathematics
Speaker:
Link:
-
Title: Language Design for Probability & Statistics
Speaker:
Link:
-
Title: The Design of the Magma Language
Speaker:
Link:
-
Title: Notations and Meaning
Speaker:
Link:
-
Title: Big proofs, little math
Speaker:
Link: