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
Discover the Hausdorff School for Mathematics in Bonn 🧮
Hausdorff Center for Mathematics
1.7K views
22:40
Exclusive Interview with Renowned Mathematician Peter Scholze 🧮
Hausdorff Center for Mathematics
7.3K views
18:30
Exclusive Interview with Yingkun Li: Insights from MPIM's Oana Padurariu 🌟
Hausdorff Center for Mathematics
288 views
1:04:14
Understanding Computability & Definability in Mathematics 📚
Hausdorff Center for Mathematics
52 views
1:02:55
Theodore Slaman's Guide to Computability & Definability in Mathematics 📚
Hausdorff Center for Mathematics
29 views
1:07:53
Theodore Slaman's Guide to Computability & Definability 📚
Hausdorff Center for Mathematics
42 views
59:39
Theodore Slaman's Guide to Computability & Definability: Theory & Applications 📚
Hausdorff Center for Mathematics
45 views
1:00:13
Unlocking the Secrets of Computability & Definability in Mathematics 📚
Hausdorff Center for Mathematics
69 views
50:55
Sky Cao Unveils New Regimes for Wilson’s Area Law in Lattice Yang-Mills Theories 🌐
Hausdorff Center for Mathematics
94 views
43:28
Rongchan Zhu Explores Makeenko-Migdal Equations: From Lattice to Continuum in 2D Yang–Mills 🚀
Hausdorff Center for Mathematics
66 views
6:44
Exclusive Interview with Peter Feller: Insights from a Leading Mathematician 🔍
Hausdorff Center for Mathematics
346 views
50:31
Michael Kohlhase's Flexiformal Math Libraries: Beyond Definitions and Theorems 📚
Hausdorff Center for Mathematics
308 views
31:18
Exploring Homotopy Type Theory (HoTT) in Lean 4 with Sina Hazratpour 🧠
Hausdorff Center for Mathematics
250 views
26:58
Thibault Gauthier's Innovative Approach to Automated Alignments 🚀
Hausdorff Center for Mathematics
58 views
33:05
Luis Berlioz Unveils How LLMs Revolutionize arXiv Text Mining 📄
Hausdorff Center for Mathematics
178 views
35:18
Shashank Pathak Introduces GFLean: Automated Formalization for Lean Theories 🚀
Hausdorff Center for Mathematics
90 views
59:25
Mastering Profiling Tools in Lean with Sebastian Ullrich 🔍
Hausdorff Center for Mathematics
201 views
14:26
Lucy Horowitz: Innovating Math Education with MathGloss and More ✨
Hausdorff Center for Mathematics
181 views
1:01:31
Michail Karatarakis Simplifies Deligne's Theorem in Number Theory 📚
Hausdorff Center for Mathematics
163 views
1:57:40
Unlocking the Power of Formalization in Mathematics 🧮
Hausdorff Center for Mathematics
471 views
34:16
Jaques Carette Explores Unavoidable Mathematics in Universal Algebra & Category Theory 🔍
Hausdorff Center for Mathematics
405 views
58:57
Dagur Asgeirsson Explores Condensed Mathematics in Mathlib 📚
Hausdorff Center for Mathematics
129 views
40:09
Natarajan Shankar's Elegant Formalizations and Proofs in Mathematics ✨
Hausdorff Center for Mathematics
287 views