Калачев Глеб Вячеславович (кандидат физико-математических наук, научный сотрудник)

• Дипломная работа (2021): Автоматизация доказательства неравенств с параметром в интервале.