@inproceedings{10.1007/978-3-7091-9459-1_4,
    Abstract = {Tarski in 1948, (Tarski 1951) published a quantifier elimination method for the elementary theory of real closed fields (which he had discovered in 1930). As noted by Tarski, any quantifier elimination method for this theory also provides a decision method, which enables one to decide whether any sentence of the theory is true or false. Since many important and difficult mathematical problems can be expressed in this theory, any computationally feasible quantifier elimination algorithm would be of utmost significance.},
    Address = {Vienna},
    Author = {Collins, George E.},
    BookTitle = {Quantifier Elimination and Cylindrical Algebraic Decomposition},
    Editor = {Caviness, Bob F. and Johnson, Jeremy R.},
    File = {Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition - Collins1998\_Chapter\_QuantifierEliminationForRealCl - a - z.pdf},
    ISBN = {978-3-7091-9459-1},
    Pages = {85--121},
    Publisher = {Springer Vienna},
    Title = {Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition},
    Year = {1998},
    date-added = {2020-06-03 15:35:57 +0200},
    date-modified = {2020-06-03 15:35:57 +0200},
    doi = {10.1007/978-3-7091-9459-1_4}
}

@inproceedings{10.1007/978-3-7091-9459-1_4, Abstract = {Tarski in 1948, (Tarski 1951) published a quantifier elimination method for the elementary theory of real closed fields (which he had discovered in 1930). As noted by Tarski, any quantifier elimination method for this theory also provides a decision method, which enables one to decide whether any sentence of the theory is true or false. Since many important and difficult mathematical problems can be expressed in this theory, any computationally feasible quantifier elimination algorithm would be of utmost significance.}, Address = {Vienna}, Author = {Collins, George E.}, BookTitle = {Quantifier Elimination and Cylindrical Algebraic Decomposition}, Editor = {Caviness, Bob F. and Johnson, Jeremy R.}, File = {Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition - Collins1998_Chapter_QuantifierEliminationForRealCl - a - z.pdf}, ISBN = {978-3-7091-9459-1}, Pages = {85--121}, Publisher = {Springer Vienna}, Title = {Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition}, Year = {1998}, date-added = {2020-06-03 15:35:57 +0200}, date-modified = {2020-06-03 15:35:57 +0200}, doi = {10.1007/978-3-7091-9459-1_4} }