메뉴 건너뛰기




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

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)
  • 10
  • 14
    • 0010188626 scopus 로고
    • The complexity of the decision problem for the first order theory of algebraically closed fields
    • (1987) Math. USSR Izvestiya , vol.29 , pp. 459-475
    • Yu.1
  • 30
    • 0022672734 scopus 로고
    • A strongly polynomial algorithm for solving combinatorial linear programs
    • (1986) Operations Research , vol.34 , pp. 250-256
    • Tardos1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.