Real Quantifier Elimination is Doubly Exponential
暂无分享,去创建一个
[1] George E. Collins,et al. Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975, Automata Theory and Formal Languages.
[2] John H. Reif,et al. The complexity of elementary algebra and geometry , 1984, STOC '84.
[3] George E. Collins,et al. Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .
[4] Scott McCallum,et al. An Improved Projection Operation for Cylindrical Algebraic Decomposition , 1985, European Conference on Computer Algebra.
[5] Joos Heintz,et al. Corrigendum: Definability and Fast Quantifier Elimination in Algebraically Closed Fields , 1983, Theor. Comput. Sci..
[6] A. Tarski. A Decision Method for Elementary Algebra and Geometry , 2023 .
[7] Volker Weispfenning,et al. The Complexity of Linear Problems in Fields , 1988, Journal of symbolic computation.
[8] John H. Reif,et al. The complexity of elementary algebra and geometry , 1984, STOC '84.