Доказательство теорем с помощью машинного обучения

По инициативе Центра математических и прикладных исследований 4-го марта текущего года, в 15:00 часов, в 203 аудитории факультета математики и механики ЕГУ состоится научный семинар на тему «Доказательство теорем с помощью машинного обучения». 

С докладом выступит ассистент кафедры дискретной математики и теоретической информатики факультета информатики и прикладной математики ЕГУ Ашот Багдасарян.