IMAS 23417
INSTITUTO DE INVESTIGACIONES MATEMATICAS "LUIS A. SANTALO"
Unidad Ejecutora - UE
artículos
Título:
A decision method for the integrability of differential-algebraic Pfaffian systems
Autor/es:
D'ALFONSO; JERONIMO; SOLERNO
Revista:
ADVANCES IN APPLIED MATHEMATICS
Editorial:
ACADEMIC PRESS INC ELSEVIER SCIENCE
Referencias:
Lugar: Amsterdam; Año: 2016 vol. 72 p. 175 - 194
ISSN:
0196-8858
Resumen:
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.
