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

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

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

6627

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

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

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

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

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

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

Тяжелая рука энтропии

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

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

Журнал Тяжелая рука энтропии

Список литературы: Математическое моделирование

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

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

Книги Список литературы: Математическое моделирование

FAQ: Теория узлов

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

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

FAQ FAQ: Теория узлов

Оценка ответов машины на естественном языке

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

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

33862 840

Оценка ответов машины на естественном языке

Атомный ледокол Ямал

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

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

tv Ядерные двигатели / Татьяна Щепетина в Рубке ПостНауки

Список литературы: Производственные технологии

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

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

Книги Список литературы: Производственные технологии

5 книг об астрофизике и астрономии

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

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

Книги 5 книг об астрофизике и астрономии

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

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

talks Олег Мельник: «Вулкан похож на бутылку шампанского»