Local Theories and Cylindrical Decomposition

  • Daniel Richardson
Conference paper
Part of the Texts and Monographs in Symbolic Computation book series (TEXTSMONOGR)


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.


Local Theory Basic Term Elementary Algebra True Sentence Quantifier Elimination 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag/Wien 1998

Authors and Affiliations

  • Daniel Richardson

There are no affiliations available

Personalised recommendations