Использование компьютерной алгебры в задаче локализации инвариантных компактов динамической системы

Рассмотрено применение метода локализации инвариантных компактных множеств автономной динамической системы для исследования динамических систем высокой размерности. Предложены методы компьютерной алгебры для решения типовых задач локализации: вычисления производной в силу системы, анализа степени полиномиальной функции, исследования квадратичной функции на положительную определенность и т.п. Эти методы использованы для исследования пятимерной системы Лоренца. Получено семейство локализирующих множеств эллиптического типа.