Использование символьной математики для решения задач оптимизации