Hausdorff Center for Mathematics
Videos from Hausdorff Center for Mathematics
Page 1 of 4 • 82 total videos
1:03:24
Konstantinos Kartas: Nonstandard methods in almost mathematics
Hausdorff Center for Mathematics
177 views
5:51
What is... the Hausdorff School for Mathematics?
Hausdorff Center for Mathematics
1.7K views
22:40
Interview with MPIM Director Peter Scholze
Hausdorff Center for Mathematics
7.3K views
18:30
Interview with Yingkun Li
Hausdorff Center for Mathematics
288 views
1:04:14
Theodore Slaman: Computability and Definability: Theory and Application (4)
Hausdorff Center for Mathematics
52 views
1:02:55
Theodore Slaman: Computability and Definability: Theory and Application (5)
Hausdorff Center for Mathematics
29 views
1:07:53
Theodore Slaman: Computability and Definability: Theory and Application (3)
Hausdorff Center for Mathematics
42 views
59:39
Theodore Slaman: Computability and Definability: Theory and Application (2)
Hausdorff Center for Mathematics
45 views
1:00:13
Theodore Slaman: Computability and Definability: Theory and Application (1)
Hausdorff Center for Mathematics
69 views
50:55
Sky Cao: Expanded regimes of area law for lattice Yang-Mills theories
Hausdorff Center for Mathematics
94 views
43:28
Rongchan Zhu: Makeenko-Migdal equations for 2D Yang–Mills: from lattice to continuum
Hausdorff Center for Mathematics
66 views
6:44
Interview with Peter Feller
Hausdorff Center for Mathematics
346 views
50:31
Michael Kohlhase: Flexiformal Math Libraries
Hausdorff Center for Mathematics
308 views
31:18
Sina Hazratpour: HoTT in Lean4
Hausdorff Center for Mathematics
250 views
26:58
Thibault Gauthier: Automated Alignments
Hausdorff Center for Mathematics
58 views
33:05
Luis Berlioz: Text mining the arXiv with LLMs
Hausdorff Center for Mathematics
178 views
35:18
Shashank Pathak: GFLean: Autoformalisation for Lean via GF
Hausdorff Center for Mathematics
90 views
59:25
Sebastian Ullrich: Profiling Tools in Lean
Hausdorff Center for Mathematics
201 views
14:26
Lucy Horowitz: MathGloss and Beyond
Hausdorff Center for Mathematics
181 views
1:01:31
Michail Karatarakis: Formalizing Deligne's theorem (Number theory)
Hausdorff Center for Mathematics
163 views
1:57:40
Panel Discussion on Formalization in Mathematics
Hausdorff Center for Mathematics
471 views
34:16
Jaques Carette: Unavoidable Mathematics
Hausdorff Center for Mathematics
405 views
58:57
Dagur Asgeirsson: Condensed mathematics in Mathlib
Hausdorff Center for Mathematics
129 views
40:09
Natarajan Shankar: Beautiful Formalizations and Proofs
Hausdorff Center for Mathematics
287 views