| Cylindrical algebraic decomposition I: The basic algorithm DS Arnon, GE Collins, S McCallum SIAM Journal on Computing 13 (4), 865-877, 1984 | 505 | 1984 |
| Cylindrical algebraic decomposition I: The basic algorithm DS Arnon, GE Collins, S McCallum SIAM Journal on Computing 13 (4), 865-877, 1984 | 505 | 1984 |
| Cylindrical algebraic decomposition I: The basic algorithm DS Arnon, GE Collins, S McCallum SIAM Journal on Computing 13 (4), 865-877, 1984 | 505 | 1984 |
| Cylindrical algebraic decomposition I: The basic algorithm DS Arnon, GE Collins, S McCallum SIAM Journal on Computing 13 (4), 865-877, 1984 | 505 | 1984 |
| Cylindrical algebraic decomposition II: An adjacency algorithm for the plane DS Arnon, GE Collins, S McCallum SIAM Journal on Computing 13 (4), 878-889, 1984 | 157 | 1984 |
| Cylindrical algebraic decomposition II: An adjacency algorithm for the plane DS Arnon, GE Collins, S McCallum SIAM Journal on Computing 13 (4), 878-889, 1984 | 157 | 1984 |
| An improved projection operation for cylindrical algebraic decomposition S McCallum Quantifier Elimination and Cylindrical Algebraic Decomposition, 242-268, 1998 | 149 | 1998 |
| An improved projection operation for cylindrical algebraic decomposition of three-dimensional space S McCallum Journal of Symbolic Computation 5 (1-2), 141-161, 1988 | 140 | 1988 |
| On projection in CAD-based quantifier elimination with equational constraint S McCallum Proceedings of the 1999 international symposium on Symbolic and algebraic …, 1999 | 104 | 1999 |
| An improved projection operation for cylindrical algebraic decomposition S McCallum EUROCAL'85: European Conference on Computer Algebra Linz, Austria, April 1–3 …, 1985 | 103 | 1985 |
| A polynomial-time algorithm for the topological type of a real algebraic curve DS Arnon, S McCallum Journal of Symbolic Computation 5 (1-2), 213-236, 1988 | 100 | 1988 |
| Solving polynomial strict inequalities using cylindrical algebraic decomposition S McCallum The Computer Journal 36 (5), 432-438, 1993 | 85 | 1993 |
| On propagation of equational constraints in CAD-based quantifier elimination S McCallum Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001 | 69 | 2001 |
| Truth table invariant cylindrical algebraic decomposition R Bradford, JH Davenport, M England, S McCallum, D Wilson Journal of Symbolic Computation 76, 1-35, 2016 | 63 | 2016 |
| The computation of polynomial greatest common divisors over an algebraic number field L Langemyr, S McCallum Journal of symbolic computation 8 (5), 429-448, 1989 | 57 | 1989 |
| An adjacency algorithm for cylindrical algebraic decompositions of three-dimenslonal space DS Arnon, GE Collins, S McCallum Journal of Symbolic Computation 5 (1-2), 163-187, 1988 | 46 | 1988 |
| Cylindrical algebraic decompositions for boolean combinations R Bradford, JH Davenport, M England, S McCallum, D Wilson Proceedings of the 38th International Symposium on Symbolic and Algebraic …, 2013 | 42 | 2013 |
| Validity proof of Lazard's method for CAD construction S McCallum, A Parusiński, L Paunescu Journal of Symbolic Computation 92, 52-69, 2019 | 37 | 2019 |
| Deciding polynomial-exponential problems M Achatz, S McCallum, V Weispfenning Proceedings of the twenty-first international symposium on Symbolic and …, 2008 | 37 | 2008 |
| Deciding polynomial-transcendental problems S McCallum, V Weispfenning Journal of Symbolic Computation 47 (1), 16-31, 2012 | 36 | 2012 |
