система уравнений в частных производных

[bdfn]

Пусть есть система уравнений в частных производных первого порядка для 3 функций от 2 переменных причем уравнений больше чем число неизвестных функций.
Вопрос заключается в следующем, как проверить является ли эта система совместной, и если совместная то как уменьшить число уравнений ? (есть ли алгоритмы для этой процедуры, можно посоветовать литературу)

[V.V.]

Напишите эту систему здесь.