A decision method for the integrability of differential-algebraic Pfaffian systems

Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solernó

We prove an effective integrability criterion for differential-algebraic Pfaffian systems leading to a decision method of consistency with a triple exponential complexity bound. As…