Quantifier Elimination and Cylindrical Algebraic Decomposition 论文
1998Texts & monographs in symbolic computation/Texts and monographs in symbolic computation引用 412
History and Theory of MathematicsLogic, programming, and type systemsPolynomial and algebraic computation