Лев Дмитриевич Беклемишев, известный российский математик, доктор физико-математических наук, академик РАН, выступил в рамках проекта «Математическая гостиная» 5 мая 2021 года в стенах Адыгейского государственного университета с лекцией на тему «Компьютерные доказательства».

Главной ценностью "гостиной" всегда была возможность встретиться и послушать интересные лекции людей, чей вклад в математическую науку является бесценным как на отечественном, так и на мировом уровне, а также пообщаться с выступающими.

Являясь экспертом в области математической логики, заместителем директора по научной работе и главным научным сотрудником математического института имени В.А. Стеклова РАН, профессором кафедры математической логики и теории алгоритмов механико-математического факультета МГУ и факультета математики НИУ ВШЭ, Львом Дмитриевичем был пройден огромный путь в вопросах изучения проблем математических доказательств с использованием компьютерных систем и не только.

Основная книга по Coq под названием «CoqArt»:
h…