Ideals generated by differential equations

В работе предлагается новый алгебраический подход к исследованию совместности дифференциальных уравнений. Этот подход использует методы коммутативной алгебры, алгебраической геометрии и базисов Гребнера. Мы получаем достаточные условия пассивности систем уравнений в частных производных и доказываем, что такие системы порождают многообразия в пространстве струй. Представлены примеры исследования пассивности систем, порожденных симметриями уравнения sinh-Cordon.