Компьютерные доказательства

Лев Беклемишев

Сохранить в закладки

6633

Сохранить в закладки

Математик Лев Беклемишев о теории множеств, интерактивных системах и проблеме о четырех красок

Над материалом работали

Лев Беклемишев

доктор физико-математических наук, член-корреспондент РАН, главный научный сотрудник Математического института им. В. А. Стеклова РАН, профессор факультета математика ВШЭ

Показать расшифровку

Спиновые стекла

Добавить в закладки

Вы сможете увидеть эту публикацию в личном кабинете

7397

Спиновые стекла

Физика после бозона Хиггса

Добавить в закладки

Вы сможете увидеть эту публикацию в личном кабинете

100932

Физика после бозона Хиггса

Из чего можно сделать топливо?

Добавить в закладки

Вы сможете увидеть эту публикацию в личном кабинете

FAQ Из чего можно сделать топливо?

Управление светом на наномасштабе

Добавить в закладки

Вы сможете увидеть эту публикацию в личном кабинете

2278

Управление светом на наномасштабе

5 проблем беспилотного транспорта

Добавить в закладки

Вы сможете увидеть эту публикацию в личном кабинете

Журнал 5 проблем беспилотного транспорта

Графен как квантовая теория поля

Добавить в закладки

Вы сможете увидеть эту публикацию в личном кабинете

18135 17

Графен как квантовая теория поля

Спин на волокне

Добавить в закладки

Вы сможете увидеть эту публикацию в личном кабинете

6688

Спин на волокне

Сложность булевых функций

Добавить в закладки

Вы сможете увидеть эту публикацию в личном кабинете

4906

Сложность булевых функций