Abstract
Many interesting problems of the geometry over the real numbers can be stated as systems of polynomial equations, inequations, and inequalities, usually with some structure of quantification. For instance, in Sect. 1.1 the piano movers problem in robotics has been mentioned. There are many other application areas, e.g., stability conditions for difference schemes. Quantifier elimination provides an approach to solving such polynomial problems over the real numbers.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag Wien
About this chapter
Cite this chapter
Winkler, F. (1996). Quantifier elimination in real closed fields. In: Polynomial Algorithms in Computer Algebra. Texts and Monographs in Symbolic Computation. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6571-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6571-3_9
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82759-8
Online ISBN: 978-3-7091-6571-3
eBook Packages: Springer Book Archive