Quantifier elimination: Optimal solution for two classical examples
Journal of Symbolic Computation
Factors of iterated resultants and discriminants
Journal of Symbolic Computation
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
On delineability of varieties in CAD-based quantifier elimination with two equational constraints
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
Hi-index | 0.01 |
It is shown that the discriminant of the discriminant of a multivariate polynomial has the same irreducible factors as the product of seven polynomials each of which is defined as the GCD of the generators of an elimination ideal. Under relatively mild conditions of genericity, three of these polynomials are irreducible and generate the corresponding elimination ideals, while the other four are equal to one. Moreover the irreducible factors of two of these polynomials have multiplicity at least two in the iterated discriminant and the irreducible factors of two others of the seven polynomials have multiplicity at least three. The proof involves an extended use of the notion of generic point of an algebraic variety and a careful study of the singularities of the hypersurface defined by a discriminant, which may be interesting by themselves.