Interval Analysis and Constructive Mathematics

Videos from BIRS Workshop 16w5099

, University of Louisiana at Lafayette
- 10:28
Interval Arithmetic: Fundamentals, History, and Semantics, 1st half
Watch video | Download video: 201611140945-Kearfott.mp4 (172M)
, University of Louisiana at Lafayette
- 11:29
Interval Arithmetic: Fundamentals, History, and Semantics, 2nd half
Watch video | Download video: 201611141045-Kearfott.mp4 (160M)
, Japan Advanced Institute of Science and Technology
- 12:13
Constructive Analysis: Philosophy, Proof and Fundamentals
Watch video | Download video: 201611141130-Ishihara.mp4 (166M)
, Hamburg University of Technology
- 15:42
Verification methods - mathematically correct results in floating-point, 1st half
Watch video | Download video: 201611141500-Rump.mp4 (145M)
, Hamburg University of Technology
- 17:03
Verification methods - mathematically correct results in floating-point, 2nd half
Watch video | Download video: 201611141615-Rump.mp4 (174M)
, Swansea University
- 10:16
Implementing Computable Analysis, 1st half
Watch video | Download video: 201611150930-Blanck.mp4 (178M)
, Swansea University
- 11:12
Implementing Computable Analysis, 2nd half
Watch video | Download video: 201611151030-Blanck.mp4 (178M)
, University of Padova
- 15:37
Interval numbers in point-free topology: localic suplattices and positivity relations.
Watch video | Download video: 201611151500-Ciraulo.mp4 (139M)
, Cornell University
- 17:00
Formalized Brouwerian Real Analysis using the Nuprl proof assistant
Watch video | Download video: 201611151615-Bickford.mp4 (198M)
, Université de Franche-Comté
- 17:42
Towards a constructive theory of O-minimal structures
Watch video | Download video: 201611151700-Lombardi.mp4 (245M)
, Kyoto University
- 09:59
Gray/pre-Gray code and program extraction based on pre-Gray code
Watch video | Download video: 201611160915-Tsuiki.mp4 (362M)
, Swansea University
- 10:42
Non-determinism and partiality in realizability: Pure Gray code
Watch video | Download video: 201611161003-Berger.mp4 (150M)
, University of Siegen
- 11:58
Digit Spaces --- Topological Foundations
Watch video | Download video: 201611161115-Spreen.mp4 (164M)
, University of Munich
- 12:33
Lab, Minlog
Watch video | Download video: 201611161203-Schwichtenberg.mp4 (120M)
, Instituto de Ciencias Físicas, UNAM
- 10:15
Some Julia tools for validated numerics
Watch video | Download video: 201611170930-Benet.mp4 (211M)
, Inria
- 10:53
Interval arithmetic, real analysis, and formal proofs
Watch video | Download video: 201611171019-Melquiond.mp4 (286M)
, University of Canterbury
- 12:16
Nonparametric Density Estimation with Statistical Regular Pavings
Watch video | Download video: 201611171130-Sainudiin.mp4 (382M)
, Japan Advanced Institute of Science and Technology
- 15:36
Weak König's lemma for convex tree
Watch video | Download video: 201611171500-Nemoto.mp4 (301M)
, Florida Atlantic University
- 16:57
Notions of Cauchyness
Watch video | Download video: 201611171615-Lubarsky.mp4 (347M)
, University of Munich
- 17:48
Constructive Comfort-compactness
Watch video | Download video: 201611171701-Petrakis.mp4 (392M)
, LMU Munich & Ghent University
- 10:16
On the connection between Nonstandard Analysis and Constructive Analysis
Watch video | Download video: 201611180930-Sanders.mp4 (202M)
, University of Greifswald
- 10:49
Operators for Computation over Partially Ordered Structures
Watch video | Download video: 201611181020-ValenciaVizcaino.mp4 (96M)
, Queen Mary College London
- 12:06
Schanuel's Conjecture: Constructive Aspects
Watch video | Download video: 201611181115-Macintyre.mp4 (176M)