Abstract
An Algorithm is given which, as input, accepts a formula φ in prenex normal form, with prime formulas P=o, P≠o, for P ε Z [x1,...,x1], and some r ε N. It produces a quantifierfree formula ψ in disjunctive normal form (DNF) such that, in any algebraically closed field, φ ψ is true. The time required for a formula of length l with q quantifiers and r-q free variables is bounded by (c1·l) cr2 rq, for some constants c1, c2. If no ∀-quantifiers occur and the matrix of φ is in DNF, then the time is bounded by (c1·l)rcq2.
Recommendations
On factoring multi-variate polynomials over algebraically closed fields (abstract)
ISSAC '90: Proceedings of the international symposium on Symbolic and algebraic computationFor a problem how to find an extension field over which we can obtain an absolutely irreducible factor, Kaltofen gave an answer in 1983 and explicitly in 1985 by employing analytic argument for showing his answer, and Chistov and Grigor'ev also gave the ...
Quantifier elimination in the theory of an algebraically-closed field
STOC '89: Proceedings of the twenty-first annual ACM symposium on Theory of computingIn this paper we develop a fast parallel procedure for deciding when a set of multivariate polynomials with coefficients in an arbitrary field K have a common algebraic solution. Moreover, since the proposed algorithm is algebraic, it easily yields a ...
Comments