Show simple item record

dc.contributor.authorIerardi, Doug J.en_US
dc.date.accessioned2007-04-23T17:38:00Z
dc.date.available2007-04-23T17:38:00Z
dc.date.issued1989-08en_US
dc.identifier.citationhttp://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR89-1030en_US
dc.identifier.urihttps://hdl.handle.net/1813/6830
dc.description.abstractThis thesis addresses several classic problems in algebraic and symbolic computation related to the solvability of systems of polynomial equations. We develop a parallel algebraic procedure for deciding when a set of multivariate polynomial equations with coefficients in an arbitrary field $K$ have a common solution in an algebraic closure of this field. All computation required by these algorithms takes place over $K$, the field of definition, and hence does not require explicit construction or approximation of solutions. The decision procedure is subsequently extended to yield an algorithm for deciding when solutions exist for arbitrary Boolean combinations of polynomial equations over an algebraically closed field. Modifications are introduced to compute projections of algebraic and semi-algebraic sets, producing an exponential-space algorithm for determining the truth of sentences in the theory of an arbitrary algebraically closed field. In addition, this algorithm can be executed in polynomial space (PSPACE) when restricted to sentences with a bounded number of quantifier alternations. The algebraic nature of the construction also allows us to develop naturally a quantifier elimination procedure for formulas in this theory within similar time and space bounds. Finally, we show that these results are nearly optimal in a common model of parallel arithmetic computation. We also show how these methods can be used to compute the dimension of an arbitrary algebraic set. A variety of other applications-including the construction and approximation of solutions for systems of multivariate polynomial equations and the isolation of real zones-are investigated.en_US
dc.format.extent9958624 bytes
dc.format.extent1975932 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.language.isoen_USen_US
dc.publisherCornell Universityen_US
dc.subjectcomputer scienceen_US
dc.subjecttechnical reporten_US
dc.titleThe Complexity of Quantifier Elimination in the Theory of an Algebraically Closed Fielden_US
dc.typetechnical reporten_US


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Statistics