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
id todo:paper_01968858_v72_n_p175_DAlfonso
record_format dspace
spelling todo:paper_01968858_v72_n_p175_DAlfonso2023-10-03T15:09:49Z A decision method for the integrability of differential-algebraic Pfaffian systems D'Alfonso, L. Jeronimo, G. Solernó, P. 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. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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
D'Alfonso, L.
Jeronimo, G.
Solernó, P.
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.
format JOUR
author D'Alfonso, L.
Jeronimo, G.
Solernó, P.
author_facet D'Alfonso, L.
Jeronimo, G.
Solernó, P.
author_sort D'Alfonso, L.
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
url http://hdl.handle.net/20.500.12110/paper_01968858_v72_n_p175_DAlfonso
work_keys_str_mv AT dalfonsol adecisionmethodfortheintegrabilityofdifferentialalgebraicpfaffiansystems
AT jeronimog adecisionmethodfortheintegrabilityofdifferentialalgebraicpfaffiansystems
AT solernop adecisionmethodfortheintegrabilityofdifferentialalgebraicpfaffiansystems
AT dalfonsol decisionmethodfortheintegrabilityofdifferentialalgebraicpfaffiansystems
AT jeronimog decisionmethodfortheintegrabilityofdifferentialalgebraicpfaffiansystems
AT solernop decisionmethodfortheintegrabilityofdifferentialalgebraicpfaffiansystems
_version_ 1807315395521019904

Ejemplares similares