Complexity of quantifier elimination in the theory of ordinary differential equations
EUROCAL '87 Proceedings of the European Conference on Computer Algebra
Weak Bézout inequality for D-modules
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
Hi-index | 0.00 |
In this paper, an upper bound for minimizing coefficients of the dimension Kolchin polynomial for a subset E 驴 驴 0 m , which depends on the maximal order of elements in E, is obtained. The minimizing coefficients are always positive; some of them are invariant and play an important role in differential algebra. As an example of application of the result obtained, an estimate for a typical differential dimension of a system of partial differential equations is obtained in the case where the orders and degrees of the equations are bounded.