A decision method for the integrability of differential-algebraic Pfaffian systems

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 s...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: D'Alfonso, L., Jeronimo, G., Solernó, P.
Formato: JOUR
Materias:
35A01
MSC 12H05
Differential equations
Decision method
Differential algebraic
Differential Nullstellensatz
Exponential complexity
Frobenius theorem
Integrability
Order of differentiation
Pfaffian
Algebra
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_01968858_v72_n_p175_DAlfonso
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
Descripción
Sumario: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. © 2015 Elsevier Inc. All rights reserved.

Ejemplares similares