Interval Analysis and Constructive Mathematics(BIRS)
Constructive Analysis: Philosophy, Proof and Fundamentals (Hajime Ishihara / Japan Advanced Institute of Science and Technology)  의 1 번째 Windows Media 동영상입니다.
Constructive Comfort-compactness (Iosif Petrakis / University of Munich)  의 1 번째 Windows Media 동영상입니다.
Digit Spaces --- Topological Foundations (Dieter Spreen / University of Siegen)  의 1 번째 Windows Media 동영상입니다.
Formalized Brouwerian Real Analysis using the Nuprl proof assistant (Mark Bickford / Cornell University)  의 1 번째 Windows Media 동영상입니다.
Gray/pre-Gray code and program extraction based on pre-Gray code (Hideki Tsuiki / Kyoto University)  의 1 번째 Windows Media 동영상입니다.
Implementing Computable Analysis, 1st half (Jens Blanck / Swansea University)  의 1 번째 Windows Media 동영상입니다.
Implementing Computable Analysis, 2nd half (Jens Blanck / Swansea University)  의 1 번째 Windows Media 동영상입니다.
Interval arithmetic, real analysis, and formal proofs (Guillaume Melquiond / Inria)  의 1 번째 Windows Media 동영상입니다.
Interval Arithmetic: Fundamentals, History, and Semantics, 1st half (Baker Kearfott / University of Louisiana at Lafayette)  의 1 번째 Windows Media 동영상입니다.
Interval Arithmetic: Fundamentals, History, and Semantics, 1st half (Baker Kearfott / University of Louisiana at Lafayette)  의 1 번째 Windows Media 동영상입니다.
Interval numbers in point-free topology: localic suplattices and positivity relations. (Francesco Ciraulo / University of Padova)  의 1 번째 Windows Media 동영상입니다.
Lab, Minlog (Helmut Schwichtenberg / University of Munich )  의 1 번째 Windows Media 동영상입니다.
Non-determinism and partiality in realizability: Pure Gray code (Ulrich Berger / Swansea University)  의 1 번째 Windows Media 동영상입니다.
Nonparametric Density Estimation with Statistical Regular Pavings (Raazesh Sainudiin / University of Canterbury)  의 1 번째 Windows Media 동영상입니다.
Notions of Cauchyness (Robert Lubarsky / Florida Atlantic University)  의 1 번째 Windows Media 동영상입니다.
On the connection between Nonstandard Analysis and Constructive Analysis (Sam Sanders / LMU Munich & Ghent University)  의 1 번째 Windows Media 동영상입니다.
Operators for Computation over Partially Ordered Structures (Pedro Francisco Valencia Vizcaíno / University of Greifswald)  의 1 번째 Windows Media 동영상입니다.
Schanuel's Conjecture: Constructive Aspects (Angus Macintyre / Queen Mary College London)  의 1 번째 Windows Media 동영상입니다.
Some Julia tools for validated numerics (Luis Benet / Instituto de Ciencias Físicas, UNAM)  의 1 번째 Windows Media 동영상입니다.
Towards a constructive theory of O-minimal structures (Henri Lombardi / Université de Franche-Comté)  의 1 번째 Windows Media 동영상입니다.
Verification methods - mathematically correct results in floating-point, 1st half (Siegfried Rump / Hamburg University of Technology)  의 1 번째 Windows Media 동영상입니다.
Verification methods - mathematically correct results in floating-point, 2nd half (Siegfried Rump / Hamburg University of Technology)  의 1 번째 Windows Media 동영상입니다.
Weak König's lemma for convex tree (Takako Nemoto / Japan Advanced Institute of Science and Technology)  의 1 번째 Windows Media 동영상입니다.
Back to top of page