The complexity of elementary algebra and geometry
作者：
Highlights：
•
摘要
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.
论文关键词：
论文评审过程：Received 7 February 1985, Revised 11 June 1985, Available online 2 December 2003.
论文官网地址：https://doi.org/10.1016/0022-0000(86)90029-2
