![]() |
Volumn 13, Issue 3, 1992, Pages 255-299
|
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
a
|
Author keywords
[No Author keywords available]
|
Indexed keywords
|
EID: 85025505234
PISSN: 07477171
EISSN: None
Source Type: Journal
DOI: 10.1016/S0747-7171(10)80003-3 Document Type: Article |
Times cited : (256)
|
References (33)
|