INVESTIGADORES
JERONIMO gabriela Tali
artículos
Título:
A decision method for integrability of differential-algebraic Pfaffian systems
Autor/es:
LISI D'ALFONSO; GABRIELA JERONIMO; PABLO SOLERNÓ
Revista:
ADVANCES IN APPLIED MATHEMATICS
Editorial:
ACADEMIC PRESS INC ELSEVIER SCIENCE
Referencias:
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 differ-entiations in the differential Nullstellensatz for these systems.