1996 | OriginalPaper | Chapter
Quantifier elimination in real closed fields
Author : Dipl.-Ing. Dr. Franz Winkler
Published in: Polynomial Algorithms in Computer Algebra
Publisher: Springer Vienna
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.