Publication
Journal of Computer and System Sciences
Paper

The complexity of elementary algebra and geometry

View publication

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. © 1986.

Date

01 Jan 1986

Publication

Journal of Computer and System Sciences

Authors

Topics

Share