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

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

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

6622

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

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

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

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

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

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

Юрий Ковалев: «Радиоастрономы — это археологи, изучающие прошлое Вселенной»

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

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

talks Юрий Ковалев: «Радиоастрономы — это археологи, изучающие прошлое Вселенной»

Как часто бывает Новый год на Марсе?

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

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

FAQ Как часто бывает Новый год на Марсе?

Ренормализационная группа

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

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

11859

Ренормализационная группа

Однослойные углеродные нанотрубки

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

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

6144

Однослойные углеродные нанотрубки

Адиабатическая реверсивная логика

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

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

3321

Адиабатическая реверсивная логика