beklemishev

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

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

FAQ: Аксиоматический метод

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

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

FAQ FAQ: Аксиоматический метод
FAQ: Компьютерные доказательства

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

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

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

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

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

Видео
8153
Компьютерные доказательства
Аксиоматический метод

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

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

Видео
8397
Аксиоматический метод