@inproceedings{fabb8df552334545aff49280a5a9e1fc,
title = "Cylindrical algebraic decomposition by quantifier elimination",
abstract = "Cylindrical algebraic decompositions were introduced as a major component of a new quantifier elimination algorithm for elementary algebra and geometry (G. Collins, 1973). In the present paper we turn the tables and show that one can use quantifier elimination for elementary algebra and geometry to obtain a new version of the cylindrical algebraic decomposition algorithm. A key part of our result is a theorem, of interest in its own right. that relates the multiplicities of the roots of a polynomial to their continuity.",
author = "Arnon, {Dennis S.} and Scott McCallum",
year = "1982",
month = jan,
day = "1",
doi = "10.1007/3-540-11607-9_25",
language = "English",
isbn = "9783540116073",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-VDI-Verlag GmbH & Co. KG",
pages = "215--222",
editor = "Jacques Calmet",
booktitle = "Computer Algebra - EUROCAM 1982, European Computer Algebra Conference",
address = "Germany",
note = "European Computer Algebra Conference, EUROCAM 1982 ; Conference date: 05-04-1982 Through 07-04-1982",
}