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

Рассмотрен алгоритмический подход к исследованию условий интегрируемости систем нелинейных эволюционных уравнений, линейных относительно старших производных по пространственной переменной. Сформулированы математические основы симметричного метода проверки условий интегрируемости, и описаны конструктивные алгоритмы, реализующие данный метод для широкого класса нелинейных эволюционных систем. Эти алгоритмы реализованы в виде программы на языке системы аналитических вычислений PL/1-FORMAC. Дано описание основных процедур данной программы. Приведены примеры применения программы для исследования интегрируемости конкретных нелинейных эволюционных систем.