Алгебро-геометрические структуры аналитических уравнений с частными производными

Изучается проблема совместности нелинейных уравнений с частными производными. Вводится алгебра сходящихся степенных рядов, модуль дифференцирований этой алгебры и модуль пфаффовых форм. Системы дифференциальных уравнений задаются степенными рядами на пространстве бесконечных джетов. Развивается техника исследования совместности дифференциальных систем, похожая на метод базисов Гребнера. Доказано, что совместные системы при некоторых предположениях порождают бесконечномерные многообразия.