Artículo
A decision method for the integrability of differential-algebraic Pfaffian systems
Fecha de publicación:
01/2016
Editorial:
Academic Press Inc Elsevier Science
Revista:
Advances In Applied Mathematics
ISSN:
0196-8858
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
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.
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(IMAS)
Articulos de INSTITUTO DE INVESTIGACIONES MATEMATICAS "LUIS A. SANTALO"
Articulos de INSTITUTO DE INVESTIGACIONES MATEMATICAS "LUIS A. SANTALO"
Citación
D'Alfonso, Lisi; Jeronimo, Gabriela Tali; Solernó, Pablo Luis; A decision method for the integrability of differential-algebraic Pfaffian systems; Academic Press Inc Elsevier Science; Advances In Applied Mathematics; 72; 1-2016; 175-194
Compartir
Altmétricas