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: | D'Alfonso, L., Jeronimo, G., Solernó, P. |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_01968858_v72_n_p175_DAlfonso |
| Aporte de: |
Ejemplares similares
-
A decision method for the integrability of differential-algebraic Pfaffian systems
por: Jeronimo, Gabriela Tali, et al.
Publicado: (2016) -
Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
por: D'Alfonso, L., et al. -
Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
Publicado: (2014) -
Quantitative aspects of the generalized differential Lüroth's Theorem
por: D'Alfonso, L., et al. -
Effective differential Lüroth's theorem
por: D'Alfonso, L., et al.