Последние добавленные видео:
Hausdorff-Center-for-Mathematics
-
6 месяцев назад
2276 6 месяцев назад 5:51What is... the Hausdorff School for Mathematics?
-
1 год назад
3164 1 год назад 50:59Andrej Bauer: Constructive Mathematics - How to not believe in the Law of Excluded Middle
-
7 лет назад
17937 7 лет назад 6:33Hausdorff Center for Mathematics, Bonn
-
1 год назад
195 1 год назад 20:19Фрик Видейк: Знакомство с системой I - HOL (1)
-
10 месяцев назад
302 10 месяцев назад 5:51Interview with Niclas Technau
-
13 лет назад
847 13 лет назад 2:51Trimester-Programm des Bonner Hausdorff Research Institute for Mathematics
-
6 месяцев назад
16336 6 месяцев назад 22:40Interview with MPIM Director Peter Scholze
-
1 год назад
180 1 год назад 19:27Guillaume Allais: A Quick Tour of Agda
-
1 год назад
421 1 год назад 34:16Jaques Carette: Unavoidable Mathematics