Local Theories and Cylindrical Decomposition
There are many interesting problems which can be expressed in the language of elementary algebra, or in one of its extensions, but which do not really depend on the coordinate system, and in which the variables can be restricted to an arbitrarily small neighborhood of some point. It seems that it ought to be possible to use cylindrical decomposition techniques to solve such problems, taking advantage of their special features. This article attempts to do this, but many unsolved problems remain.
KeywordsLocal Theory Basic Term Elementary Algebra True Sentence Quantifier Elimination
Unable to display preview. Download preview PDF.