On the computational complexity and geometry of the first-order theory of the reals. Part I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
1992 ◽
Vol 13
(3)
◽
pp. 255-299
◽
Keyword(s):
1992 ◽
Vol 13
(3)
◽
pp. 301-327
◽
Keyword(s):
1976 ◽
Vol 41
(2)
◽
pp. 460-464
◽
1987 ◽
Vol 29
(2)
◽
pp. 459-475
◽
Keyword(s):
1992 ◽
Vol 13
(3)
◽
pp. 329-352
◽
Keyword(s):
Keyword(s):
Keyword(s):