Differential resolvents of minimal order and weight.
We prove that the positive-existential theory of addition and divisibility in a ring of polynomials in two variables A[t₁,t₂] over an integral domain A is undecidable and that the universal-existential theory of A[t₁] is undecidable.
∗ Research partially supported by INTAS grant 97-1644A real polynomial of one real variable is hyperbolic (resp. strictly hyperbolic) if it has only real roots (resp. if its roots are real and distinct). We prove that there are 116 possible non-degenerate configurations between the roots of a degree 5 strictly hyperbolic polynomial and of its derivatives (i.e. configurations without equalities between roots). The standard Rolle theorem allows 286 such configurations. To obtain the result we study...