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

Abstract

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
Volume32
Issue number2
DOIs
StatePublished - Apr 1986

Fingerprint

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

Cite this