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: Nonparametric Density Estimation with Statistical Regular Pavings
Speaker:
Link:
-
Title: Interval arithmetic, real analysis, and formal proofs
Speaker:
Link:
-
Title: Some Julia tools for validated numerics
Speaker:
Link:
-
Title: Lab, Minlog
Speaker:
Link:http://www.birs.ca/events/2016/5-day-workshops/16w5099/videos/watch/201611161203-Schwichtenberg.html
-
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: