Sonia Cafieri, Jon Lee, et al.
Journal of Global Optimization
Paper
The complexity of elementary algebra and geometry
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.
Related
William Hinsberg, Joy Cheng, et al.
SPIE Advanced Lithography 2010
L Auslander, E Feig, et al.
Advances in Applied Mathematics
Zhengxin Zhang, Ziv Goldfeld, et al.
Foundations of Computational Mathematics