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

Решения систем ОДУ с дробно-полиномиальными правыми частями на конечном или бесконечном интервале времени могут достигать бесконечных значений за бесконечное или конечное время. Корректное определение бесконечных значений переменных и их производных достигается вложением в компакт. Преобразование выполняется автоматически в пакете Maple12. Метод использовался при численном интегрировании уравнений Эйнштейна, отличающихся широким диапазоном значений интегрируемых функций в неограниченной области.

фазовый портрет, качественный анализ, компактификация, проективный