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: Jeronimo, Gabriela Tali, Solerno, Pablo Luis
Publicado: 2016
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: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:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_01968858_v72_n_p175_DAlfonso
record_format dspace
spelling paper:paper_01968858_v72_n_p175_DAlfonso2023-06-08T15:20:32Z A decision method for the integrability of differential-algebraic Pfaffian systems Jeronimo, Gabriela Tali Solerno, Pablo Luis 35A01 MSC 12H05 Differential equations Decision method Differential algebraic Differential Nullstellensatz Exponential complexity Frobenius theorem Integrability Order of differentiation Pfaffian Algebra 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. Fil:Jeronimo, G. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Solernó, P. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2016 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
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic 35A01
MSC 12H05
Differential equations
Decision method
Differential algebraic
Differential Nullstellensatz
Exponential complexity
Frobenius theorem
Integrability
Order of differentiation
Pfaffian
Algebra
spellingShingle 35A01
MSC 12H05
Differential equations
Decision method
Differential algebraic
Differential Nullstellensatz
Exponential complexity
Frobenius theorem
Integrability
Order of differentiation
Pfaffian
Algebra
Jeronimo, Gabriela Tali
Solerno, Pablo Luis
A decision method for the integrability of differential-algebraic Pfaffian systems
topic_facet 35A01
MSC 12H05
Differential equations
Decision method
Differential algebraic
Differential Nullstellensatz
Exponential complexity
Frobenius theorem
Integrability
Order of differentiation
Pfaffian
Algebra
description 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.
author Jeronimo, Gabriela Tali
Solerno, Pablo Luis
author_facet Jeronimo, Gabriela Tali
Solerno, Pablo Luis
author_sort Jeronimo, Gabriela Tali
title A decision method for the integrability of differential-algebraic Pfaffian systems
title_short A decision method for the integrability of differential-algebraic Pfaffian systems
title_full A decision method for the integrability of differential-algebraic Pfaffian systems
title_fullStr A decision method for the integrability of differential-algebraic Pfaffian systems
title_full_unstemmed A decision method for the integrability of differential-algebraic Pfaffian systems
title_sort decision method for the integrability of differential-algebraic pfaffian systems
publishDate 2016
url 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
work_keys_str_mv AT jeronimogabrielatali adecisionmethodfortheintegrabilityofdifferentialalgebraicpfaffiansystems
AT solernopabloluis adecisionmethodfortheintegrabilityofdifferentialalgebraicpfaffiansystems
AT jeronimogabrielatali decisionmethodfortheintegrabilityofdifferentialalgebraicpfaffiansystems
AT solernopabloluis decisionmethodfortheintegrabilityofdifferentialalgebraicpfaffiansystems
_version_ 1768544683416354816

Ejemplares similares