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: Drawdown Betas Measuring Drawdown Risk and Portfolio Optimization
Speaker:
Link:
-
Title: Derived limits I - Introduction and foundational results
Speaker:
Link:
-
Title: Technological Prisms: A Configurational Analysis of Robo-Advice Beliefs, Adoption, and Incumbent Adaptation in the Financial Advice Sector
Speaker:
Link:
-
Title: Combining Reinforcement Learning and Inverse Reinforcement Learning for Optimal Asset Allocation
Speaker:
Link:
-
Title: Machine Learning Flows for Referral Models
Speaker:
Link:
-
Title: Derived limits II - Strong homology and the system \mathbf{A}.
Speaker:
Link:
-
Title: Derived limits III - Higher derived limits
Speaker:
Link:
-
Title: AEC’s
Speaker:
Link:
-
Title: Formalizations in set theory: challenges and opportunities
Speaker:
Link:
-
Title: Group cohomology in Lean
Speaker:
Link:
-
Title: Cohomology Theory and Brunerie Numbers in Cubical Agda
Speaker:
Link:
-
Title:
Speaker:
Link:
-
Title: What can we learn from formalizations in homotopy type theory?
Speaker:
Link:
-
Title: Formalization of derived categories in Lean
Speaker:
Link:
-
Title: Discrete Condensed Sets
Speaker:
Link: