Satoshi Hada
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
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.
Satoshi Hada
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Naga Ayachitula, Melissa Buco, et al.
SCC 2007
Richard M. Karp, Raymond E. Miller
Journal of Computer and System Sciences
Yixiong Chen, Weichuan Fang
Engineering Analysis with Boundary Elements