Birs- 16w5099: Interval Analysis and Constructive Mathematics
-
Title: Interval Arithmetic: Fundamentals, History, and Semantics, 1st half
Speaker:
Link:
-
Title: Interval Arithmetic: Fundamentals, History, and Semantics, 2nd half
Speaker:
Link:
-
Title: Constructive Analysis: Philosophy, Proof and Fundamentals
Speaker:
Link:
-
Title: Verification methods - mathematically correct results in floating-point, 1st half
Speaker:
Link:
-
Title: Verification methods - mathematically correct results in floating-point, 2nd half
Speaker:
Link:
-
Title: Implementing Computable Analysis, 1st half
Speaker:
Link:
-
Title: Implementing Computable Analysis, 2nd half
Speaker:
Link:
-
Title: Interval numbers in point-free topology: localic suplattices and positivity relations.
Speaker:
Link:
-
Title: Formalized Brouwerian Real Analysis using the Nuprl proof assistant
Speaker:
Link:
-
Title: Towards a constructive theory of O-minimal structures
Speaker:
Link:
-
Title: Gray/pre-Gray code and program extraction based on pre-Gray code
Speaker:
Link:
-
Title: Non-determinism and partiality in realizability: Pure Gray code
Speaker:
Link:
-
Title: Digit Spaces --- Topological Foundations
Speaker:
Link:
-
Title: Lab, Minlog
Speaker:
Link:http://www.birs.ca/events/2016/5-day-workshops/16w5099/videos/watch/201611161203-Schwichtenberg.html
-
Title: Some Julia tools for validated numerics
Speaker:
Link:
-
Title: Interval arithmetic, real analysis, and formal proofs
Speaker:
Link:
-
Title: Nonparametric Density Estimation with Statistical Regular Pavings
Speaker:
Link:
-
Title: Weak König's lemma for convex tree
Speaker:
Link:
-
Title: Notions of Cauchyness
Speaker:
Link:
-
Title: Constructive Comfort-compactness
Speaker:
Link: