A decision method for the integrability of differential-algebraic Pfaffian systems
Commutative Algebra
2015-01-21 v1 Algebraic Geometry
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.
Keywords
Cite
@article{arxiv.1501.04941,
title = {A decision method for the integrability of differential-algebraic Pfaffian systems},
author = {Lisi D'Alfonso and Gabriela Jeronimo and Pablo Solernó},
journal= {arXiv preprint arXiv:1501.04941},
year = {2015}
}