Автоматизация доказательства неравенств с параметром в интерваледипломная работа (Специалист)