Interval Analysis and Constructive Mathematics
Videos from CMO Workshop
Baker Kearfott, University of Louisiana at Lafayette
Monday Nov 14, 2016 09:45 - 10:28
Interval Arithmetic: Fundamentals, History, and Semantics, 1st half
Baker Kearfott, University of Louisiana at Lafayette
Monday Nov 14, 2016 10:45 - 11:29
Interval Arithmetic: Fundamentals, History, and Semantics, 2nd half
Hajime Ishihara, Japan Advanced Institute of Science and Technology
Monday Nov 14, 2016 11:30 - 12:13
Constructive Analysis: Philosophy, Proof and Fundamentals
Siegfried Rump, Hamburg University of Technology
Monday Nov 14, 2016 15:00 - 15:42
Verification methods - mathematically correct results in floating-point, 1st half
Siegfried Rump, Hamburg University of Technology
Monday Nov 14, 2016 16:15 - 17:03
Verification methods - mathematically correct results in floating-point, 2nd half
Jens Blanck, Swansea University
Tuesday Nov 15, 2016 09:30 - 10:16
Implementing Computable Analysis, 1st half
Jens Blanck, Swansea University
Tuesday Nov 15, 2016 10:30 - 11:12
Implementing Computable Analysis, 2nd half
Francesco Ciraulo, University of Padova
Tuesday Nov 15, 2016 15:00 - 15:37
Interval numbers in point-free topology: localic suplattices and positivity relations.
Mark Bickford, Cornell University
Tuesday Nov 15, 2016 16:15 - 17:00
Formalized Brouwerian Real Analysis using the Nuprl proof assistant
Henri Lombardi, Université de Franche-Comté
Tuesday Nov 15, 2016 17:00 - 17:42
Towards a constructive theory of O-minimal structures
Hideki Tsuiki, Kyoto University
Wednesday Nov 16, 2016 09:15 - 09:59
Gray/pre-Gray code and program extraction based on pre-Gray code
Ulrich Berger, Swansea University
Wednesday Nov 16, 2016 10:03 - 10:42
Non-determinism and partiality in realizability: Pure Gray code
Dieter Spreen, University of Siegen
Wednesday Nov 16, 2016 11:15 - 11:58
Digit Spaces --- Topological Foundations
Helmut Schwichtenberg, University of Munich
Wednesday Nov 16, 2016 12:03 - 12:33
Lab, Minlog
Luis Benet, Instituto de Ciencias Físicas, UNAM
Thursday Nov 17, 2016 09:30 - 10:15
Some Julia tools for validated numerics
Guillaume Melquiond, Inria
Thursday Nov 17, 2016 10:19 - 10:53
Interval arithmetic, real analysis, and formal proofs
Raazesh Sainudiin, University of Canterbury
Thursday Nov 17, 2016 11:30 - 12:16
Nonparametric Density Estimation with Statistical Regular Pavings
Takako Nemoto, Hiroshima Institute of Technology
Thursday Nov 17, 2016 15:00 - 15:36
Weak König's lemma for convex tree
Robert Lubarsky, Florida Atlantic University
Thursday Nov 17, 2016 16:15 - 16:57
Notions of Cauchyness
Iosif Petrakis, University of Munich
Thursday Nov 17, 2016 17:01 - 17:48
Constructive Comfort-compactness
Sam Sanders, LMU Munich & Ghent University
Friday Nov 18, 2016 09:30 - 10:16
On the connection between Nonstandard Analysis and Constructive Analysis
Pedro Francisco Valencia Vizcaíno, University of Greifswald
Friday Nov 18, 2016 10:20 - 10:49
Operators for Computation over Partially Ordered Structures
Angus Macintyre, University of Edinburgh
Friday Nov 18, 2016 11:15 - 12:06
Schanuel's Conjecture: Constructive Aspects
