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: Rendering useful formalized mathematics
Speaker:
Link:
-
Title: Market microstructure and algorithmic trading in the foreign exchange market
Speaker:
Link:
-
Title: Pairs trading - optimal thresholds and profitability
Speaker:
Link:
-
Title: Theorema 2.0: A Brief Introduction and a Case Study in Auction Theory
Speaker:
Link:
-
Title: Table Maker's Dilemma for Transcendental Functions
Speaker:
Link:
-
Title: Symbolic Determinant Evaluation
Speaker:
Link:
-
Title: Deformation of Kahler structures into generalized Kahler structures
Speaker:
Link:
-
Title: Symbolic summation for particle physics: difference ring theory, stable software and proof certificates
Speaker:
Link:
-
Title: Geometric theories for constructive algebra
Speaker:
Link:
-
Title: Hidden gems of formal combinatorial proofs
Speaker:
Link:
-
Title: Meta-mathics
Speaker:
Link:
-
Title: The Babylonian vs. the Greek Approaches to Computer Proofs
Speaker:
Link:
-
Title: Functional Programming and Complexity
Speaker:
Link:
-
Title: Cylindrical Algebraic Decomposition with logical structure
Speaker:
Link:
-
Title: The formal proof of the Kepler Conjecture
Speaker:
Link: