Publications > Preprint server > Preprint Number 825
Preprint Number 825
825. Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solernó
A decision method for the integrability of differential-algebraic Pfaffian systems
Submission date: 20 January 2015.
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:
|Last updated: January 28 2015 12:51||Please send your corrections to:|