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: Digit Spaces --- Topological Foundations
Speaker:
Link:
-
Title: Non-determinism and partiality in realizability: Pure Gray code
Speaker:
Link:
-
Title: Gray/pre-Gray code and program extraction based on pre-Gray code
Speaker:
Link:
-
Title: Towards a constructive theory of O-minimal structures
Speaker:
Link:
-
Title: Formalized Brouwerian Real Analysis using the Nuprl proof assistant
Speaker:
Link:
-
Title: Interval numbers in point-free topology: localic suplattices and positivity relations.
Speaker:
Link:
-
Title: Implementing Computable Analysis, 2nd half
Speaker:
Link:
-
Title: Implementing Computable Analysis, 1st half
Speaker:
Link:
-
Title: Verification methods - mathematically correct results in floating-point, 2nd half
Speaker:
Link:
-
Title: Verification methods - mathematically correct results in floating-point, 1st half
Speaker:
Link:
-
Title: Constructive Analysis: Philosophy, Proof and Fundamentals
Speaker:
Link:
-
Title: Interval Arithmetic: Fundamentals, History, and Semantics, 2nd half
Speaker:
Link:
-
Title: Interval Arithmetic: Fundamentals, History, and Semantics, 1st half
Speaker:
Link:
-
Title: Complexity questions for classes of closed subgroups of the group of permutations of N
Speaker:
Link:
-
Title: Chief series in locally compact groups
Speaker:
Link: