Тёмный

Freek Wiedijk: From 100 to 1000+ theorems 

Hausdorff Center for Mathematics
Подписаться 9 тыс.
Просмотров 192
50% 1
ВидеоПоделитьсяСкачатьДобавить в

Опубликовано:

 

23 окт 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии    
Далее
Michael Kohlhase: Flexiformal Math Libraries
50:31
Michael Kohlhase: Flexiformal Math Libraries
Просмотров 280
How I animate 3Blue1Brown | A Manim demo with Ben Sparks
53:41
How I animate 3Blue1Brown | A Manim demo with Ben Sparks
Просмотров 749 тыс.
Как закончит Путин? | Истории успешных революций: Военный переворот
16:59
Как закончит Путин? | Истории успешных революций: Военный переворот
Просмотров 323 тыс.
ЕЁ УГНАЛИ 15 лет назад! Тачка ПРИЗРАК…
1:00:00
ЕЁ УГНАЛИ 15 лет назад! Тачка ПРИЗРАК…
Просмотров 1,9 млн
😱ЧТО? В Айфоне ПРО нет 120 герц? 🤯
00:44
😱ЧТО? В Айфоне ПРО нет 120 герц? 🤯
Просмотров 564 тыс.
ВЫРВАЛИ ИЗ РАБСТВА ДЕВУШКУ С ИНВАЛИДНОСТЬЮ. Две свиньи ели и пили за её счет.
23:00
ВЫРВАЛИ ИЗ РАБСТВА ДЕВУШКУ С ИНВАЛИДНОСТЬЮ. Две свиньи ели и пили за её счет.
Просмотров 544 тыс.
The Boundary of Computation
12:59
The Boundary of Computation
Просмотров 1 млн
Joris Roos: Isoperimetric and Poincaré inequalities on the Hamming cube
1:00:16
Joris Roos: Isoperimetric and Poincaré inequalities on the Hamming cube
Просмотров 67
Jordan Ellenberg: What does machine learning have to offer number theory? (NTWS 221)
52:54
Jordan Ellenberg: What does machine learning have to offer number theory? (NTWS 221)
Просмотров 376
Yuval Filmus: Structure theorems in Boolean Harmonic Analysis III (original audio lost; dubbed)
1:07:02
Yuval Filmus: Structure theorems in Boolean Harmonic Analysis III (original audio lost; dubbed)
Просмотров 127
Программисты вычисляют учителей информатики | Свой/Чужой | КУБ
43:09
Программисты вычисляют учителей информатики | Свой/Чужой | КУБ
Просмотров 1,4 млн
Python VS С# | Согласен / Не согласен
14:27
Python VS С# | Согласен / Не согласен
Просмотров 51 тыс.
The longest mathematical proof ever
19:30
The longest mathematical proof ever
Просмотров 56 тыс.
Уравнение, которое меняет взгляд на мир [Veritasium]
17:25
Уравнение, которое меняет взгляд на мир [Veritasium]
Просмотров 2,8 млн
🧪🧪🧪🧪 Доказательство реальности квантового мира. (Часть 1. Квантуемость, спин, прибор Штерна-Герлаха)
20:13
🧪🧪🧪🧪 Доказательство реальности квантового мира. (Часть 1. Квантуемость, спин, прибор Штерна-Герлаха)
Просмотров 645 тыс.
Running "Hello World!" in 10 FORBIDDEN Programming Languages
18:07
Running "Hello World!" in 10 FORBIDDEN Programming Languages
Просмотров 1,5 млн
Как закончит Путин? | Истории успешных революций: Военный переворот
16:59
Как закончит Путин? | Истории успешных революций: Военный переворот
Просмотров 323 тыс.