On the computational complexity and geometry of the first-order theory of the reals. Part III: Quantifier elimination 论文
1992Journal of Symbolic Computation引用 277
Computability, Logic, AI AlgorithmsAdvanced Topology and Set TheoryMathematical and Theoretical Analysis
详细信息
- 发表期刊/会议
- Journal of Symbolic Computation
- 发表日期
- 1992-03-01
- 发表年份
- 1992
关键词
Computability, Logic, AI AlgorithmsAdvanced Topology and Set TheoryMathematical and Theoretical Analysis