Submission date: 20 January 2015.

Abstract:

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 a byproduct, we obtain an upper bound for the order of differentiations in the differential Nullstellensatz for these systems.

Mathematics Subject Classification: 12H05, 35A01

Keywords and phrases:

Full text arXiv 1501.04941: pdf, ps.