The complexity of elementary algebra and geometry
Publication
, Journal Article
Ben-Or, M; Kozen, D; Reif, J
Published in: Journal of Computer and System Sciences
January 1, 1986
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.
Duke Scholars
Altmetric Attention Stats
Dimensions Citation Stats
Published In
Journal of Computer and System Sciences
DOI
EISSN
1090-2724
ISSN
0022-0000
Publication Date
January 1, 1986
Volume
32
Issue
2
Start / End Page
251 / 264
Related Subject Headings
- Computation Theory & Mathematics
- 49 Mathematical sciences
- 46 Information and computing sciences
- 0806 Information Systems
- 0805 Distributed Computing
- 0802 Computation Theory and Mathematics
Citation
APA
Chicago
ICMJE
MLA
NLM
Ben-Or, M., Kozen, D., & Reif, J. (1986). The complexity of elementary algebra and geometry. Journal of Computer and System Sciences, 32(2), 251–264. https://doi.org/10.1016/0022-0000(86)90029-2
Ben-Or, M., D. Kozen, and J. Reif. “The complexity of elementary algebra and geometry.” Journal of Computer and System Sciences 32, no. 2 (January 1, 1986): 251–64. https://doi.org/10.1016/0022-0000(86)90029-2.
Ben-Or M, Kozen D, Reif J. The complexity of elementary algebra and geometry. Journal of Computer and System Sciences. 1986 Jan 1;32(2):251–64.
Ben-Or, M., et al. “The complexity of elementary algebra and geometry.” Journal of Computer and System Sciences, vol. 32, no. 2, Jan. 1986, pp. 251–64. Scopus, doi:10.1016/0022-0000(86)90029-2.
Ben-Or M, Kozen D, Reif J. The complexity of elementary algebra and geometry. Journal of Computer and System Sciences. 1986 Jan 1;32(2):251–264.
Published In
Journal of Computer and System Sciences
DOI
EISSN
1090-2724
ISSN
0022-0000
Publication Date
January 1, 1986
Volume
32
Issue
2
Start / End Page
251 / 264
Related Subject Headings
- Computation Theory & Mathematics
- 49 Mathematical sciences
- 46 Information and computing sciences
- 0806 Information Systems
- 0805 Distributed Computing
- 0802 Computation Theory and Mathematics