Simeon Furrer, Dirk Dahlhaus
ISIT 2005
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.
Simeon Furrer, Dirk Dahlhaus
ISIT 2005
Ruixiong Tian, Zhe Xiang, et al.
Qinghua Daxue Xuebao/Journal of Tsinghua University
Renu Tewari, Richard P. King, et al.
IS&T/SPIE Electronic Imaging 1996
David L. Shealy, John A. Hoffnagle
SPIE Optical Engineering + Applications 2007