INVESTIGADORES
JERONIMO gabriela Tali
artículos
Título:
Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
Autor/es:
LISI D'ALFONSO; GABRIELA JERONIMO; PABLO SOLERNÓ
Revista:
JOURNAL OF COMPLEXITY
Editorial:
ACADEMIC PRESS INC ELSEVIER SCIENCE
Referencias:
Año: 2014 vol. 30 p. 588 - 603
ISSN:
0885-064X
Resumen:
We give upper bounds for the differential Nullstellensatz in the case of ordinary systems of differential algebraic equations over any field of constants K of characteristic 0 in terms of the number of variables n, the order e of the differential polynomials involved and their degrees. Our bounds are doubly exponential, improving the previous known bounds that are not elementary recursive.