Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
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.
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
Leo Liberti, James Ostrowski
Journal of Global Optimization
A.R. Gourlay, G. Kaye, et al.
Proceedings of SPIE 1989
Minghong Fang, Zifan Zhang, et al.
CCS 2024