Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4609110 | Journal of Complexity | 2006 | 35 Pages |
Abstract
We prove upper bounds on the order and degree of the polynomials involved in a resolvent representation of the prime differential ideal associated with a polynomial differential system for a particular class of ordinary first order algebraic-differential equations arising in control theory. We also exhibit a probabilistic algorithm which computes this resolvent representation within time polynomial in the natural syntactic parameters and the degree of a certain algebraic variety related to the input system. In addition, we give a probabilistic polynomial-time algorithm for the computation of the differential Hilbert function of the ideal.
Related Topics
Physical Sciences and Engineering
Mathematics
Analysis
Authors
Lisi D'Alfonso, Gabriela Jeronimo, Pablo SolernĂ³,