Hausdorff Center for Mathematics
8.29K subscribers
1:38:51
Public Talk by Kevin Buzzard: Teaching mathematics to computers
Hausdorff Center for Mathematics
212 views • 19 hours ago
46:20
Valeria de Paiva: AI tools for Better Math
Hausdorff Center for Mathematics
104 views • 3 days ago
58:08
Davide Trotta: Doctrines for Formal Mathematics
Hausdorff Center for Mathematics
73 views • 3 days ago
48:15
Sina Hazratpour: Report on Polynomial Functors Formalization
Hausdorff Center for Mathematics
71 views • 4 days ago
45:15
Milly Maietti and Pietro Sabelli: Peculiarities of the Minimalist Foundation for Formal Mathematics
Hausdorff Center for Mathematics
68 views • 4 days ago
43:54
Freek Wiedijk: Even more on HOL Light (3)
Hausdorff Center for Mathematics
32 views • 4 days ago
46:19
Freek Wiedijk: More on HOL Light (2)
Hausdorff Center for Mathematics
31 views • 4 days ago
20:19
Freek Wiedijk: System Introductions I - HOL (1)
Hausdorff Center for Mathematics
62 views • 4 days ago
24:40
Peter Koepke: System Introductions II - Naproche
Hausdorff Center for Mathematics
33 views • 5 days ago
44:54
Cipriano Cioffo: A categorical account of the setoid model
Hausdorff Center for Mathematics
35 views • 5 days ago
24:15
Peter Koepke: FOL from a Naproche perspective
Hausdorff Center for Mathematics
79 views • 11 days ago
45:58
Claudio Sacerdoti Coen: Indexing and Retrieval in a heterogeneous Formal Library
Hausdorff Center for Mathematics
49 views • 12 days ago
35:14
Sam Owre: Modularity in PVS
Hausdorff Center for Mathematics
72 views • 13 days ago
47:47
Tom de Jong: Formalization in HoTT: equivalences, 3-for-2 and definitional equality
Hausdorff Center for Mathematics
97 views • 2 weeks ago
58:42
Emily Riehl: Formalizing ∞-category theory in the Rzk proof assistant
Hausdorff Center for Mathematics
303 views • 2 weeks ago
1:10:35
Andrea Kohlhase: "Eye Tracking for Math"
Hausdorff Center for Mathematics
64 views • 2 weeks ago
52:34
James Davenport: Proving an execution of an algorithm correct
Hausdorff Center for Mathematics
64 views • 2 weeks ago
46:00
Mario Carneiro: Lessons from Metamath
Hausdorff Center for Mathematics
177 views • 2 weeks ago
19:27
Guillaume Allais: A Quick Tour of Agda
Hausdorff Center for Mathematics
48 views • 2 weeks ago
39:00
Guillaume Allais: Syntaxes for Binding and their Semantics
Hausdorff Center for Mathematics
57 views • 2 weeks ago
37:49
Steve Awodey: What is HoTT?
Hausdorff Center for Mathematics
245 views • 3 weeks ago
52:58
Andrej Bauer & Mario Carneiro: Type universes
Hausdorff Center for Mathematics
494 views • 3 weeks ago
40:29
Josef Urban: Theorem Proving and AI
Hausdorff Center for Mathematics
151 views • 3 weeks ago
50:59
Andrej Bauer: Constructive Mathematics - How to not believe in the Law of Excluded Middle
Hausdorff Center for Mathematics
1.3K views • 3 weeks ago
27:22
Mario Carneiro: System Introductions I - Lean
Hausdorff Center for Mathematics
88 views • 3 weeks ago
26:24
Michael Kohlhase: System Introductions II - sTeX/ALeA
Hausdorff Center for Mathematics
68 views • 3 weeks ago
25:14
Manuel Eberl: System Introductions II - Isabelle
Hausdorff Center for Mathematics
45 views • 3 weeks ago
24:30
Sam Owre: System Introductions I - PVS
Hausdorff Center for Mathematics
53 views • 3 weeks ago
1:03:40
Masha Vlasenko: Frobenius structure and p-adic zeta function
Hausdorff Center for Mathematics
192 views • 4 weeks ago
43:15
Michael Kohlhase: ALeA - Flexiformal Education
Hausdorff Center for Mathematics
59 views • 1 month ago
Load More