Bob F Caviness

Bob F Caviness is the author of books such as Quantifier Elimination and Cylindrical Algebraic Decomposition.