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...
Guardado en:
| Autores principales: | , |
|---|---|
| Publicado: |
2016
|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_01968858_v72_n_p175_DAlfonso http://hdl.handle.net/20.500.12110/paper_01968858_v72_n_p175_DAlfonso |
| Aporte de: |
| 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. |
|---|