Hausdorff Center for Mathematics
Videos from Hausdorff Center for Mathematics
Page 2 of 4 • 82 total videos
33:21
Florian Rabe: HOL+Dependent Types + Subtyping
Hausdorff Center for Mathematics
200 views
54:22
Juan Meleiro: Theory-oriented mathematics
Hausdorff Center for Mathematics
289 views
43:54
Freek Wiedijk: Even more on HOL Light (3)
Hausdorff Center for Mathematics
123 views
46:19
Freek Wiedijk: More on HOL Light (2)
Hausdorff Center for Mathematics
121 views
20:19
Freek Wiedijk: System Introductions I - HOL (1)
Hausdorff Center for Mathematics
161 views
44:54
Cipriano Cioffo: A categorical account of the setoid model
Hausdorff Center for Mathematics
66 views
47:47
Tom de Jong: Formalization in HoTT: equivalences, 3-for-2 and definitional equality
Hausdorff Center for Mathematics
134 views
46:00
Mario Carneiro: Lessons from Metamath
Hausdorff Center for Mathematics
393 views
39:01
Guillaume Allais: Syntaxes for Binding and their Semantics
Hausdorff Center for Mathematics
87 views
24:30
Sam Owre: System Introductions I - PVS
Hausdorff Center for Mathematics
74 views
3:37
Panorama of Mathematics - Mood
Hausdorff Center for Mathematics
705 views
26:50
Arthur Pander Maat: The Eilenberg-Watts theorem and Morita theory for C*-categories
Hausdorff Center for Mathematics
169 views
26:59
Malte Leimbach: Spectral truncations of low-dimensional tori
Hausdorff Center for Mathematics
148 views
1:25:13
Cong Xue - Shtukas, 2
Hausdorff Center for Mathematics
285 views
49:42
Sophie Emma Zegers: Equivariant Isomorphism of Quantum Lens Spaces
Hausdorff Center for Mathematics
159 views
1:29:40
Toby Gee - Categorical local Langlands, 3
Hausdorff Center for Mathematics
205 views
1:42:15
Vortrag "Wo steht die mathematische Forschung?"
Hausdorff Center for Mathematics
10.1K views
1:10:55
Vortrag "Was lehrt uns die Geschichte über mathematische Probleme?"
Hausdorff Center for Mathematics
6.3K views
1:35:53
Vortrag "Sind Primzahlen dem Zufall unterworfen?"
Hausdorff Center for Mathematics
18.4K views
1:04:21
Talkrunde: Formalisierung der Mathematik - Wann führen Computer die Beweise?
Hausdorff Center for Mathematics
12.9K views
45:51
Kornélia Héra: Fubiniy-type theorems for Hausdorff dimension and their connection to unions of lines
Hausdorff Center for Mathematics
131 views
31:21
Stefano Decio: Bounds on the Hausdorff measure of zero sets of Steklov eigenfunctions
Hausdorff Center for Mathematics
193 views
2:17
Symposium on Interdisciplinary Research in Mathematics and Life Science
Hausdorff Center for Mathematics
322 views
48:20
Osama Khalil: Diophantine approximation on fractals and homogeneous flows
Hausdorff Center for Mathematics
246 views