The complexity of elementary algebra and geometry

Michael Ben-Or*, Dexter Kozen, John Reif

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

129 Scopus citations


The theory of real closed fields can be decided in exponential space or parallel exponential time. In fixed dimension, the theory can be decided in NC.

Original languageAmerican English
Pages (from-to)251-264
Number of pages14
JournalJournal of Computer and System Sciences
Issue number2
StatePublished - Apr 1986


Dive into the research topics of 'The complexity of elementary algebra and geometry'. Together they form a unique fingerprint.

Cite this