On the computational complexity and geometry of the first-order theory of the reals. Part III: Quantifier elimination 论文

1992Journal of Symbolic Computation引用 277
DOI
Computability, Logic, AI AlgorithmsAdvanced Topology and Set TheoryMathematical and Theoretical Analysis
Computability, Logic, AI AlgorithmsMathematical and Theoretical AnalysisAdvanced Topology and Set Theory
相关技术:Computability, Logic, AI Algorithms
关系图谱

On the computational complexity and geometry of the first-order theory of the reals. Part III: Quantifier elimination · 相关文章

暂无数据