Cylindrical algebraic decomposition I: The basic algorithm DS Arnon, GE Collins, S McCallum SIAM Journal on Computing 13 (4), 865-877, 1984 | 481 | 1984 |

Cylindrical algebraic decomposition I: The basic algorithm DS Arnon, GE Collins, S McCallum SIAM Journal on Computing 13 (4), 865-877, 1984 | 481 | 1984 |

Cylindrical algebraic decomposition I: The basic algorithm DS Arnon, GE Collins, S McCallum SIAM Journal on Computing 13 (4), 865-877, 1984 | 481 | 1984 |

Cylindrical algebraic decomposition I: The basic algorithm DS Arnon, GE Collins, S McCallum SIAM Journal on Computing 13 (4), 865-877, 1984 | 481 | 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 | 150 | 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 | 150 | 1984 |

An improved projection operation for cylindrical algebraic decomposition S McCallum Quantifier Elimination and Cylindrical Algebraic Decomposition, 242-268, 1998 | 138 | 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 | 134 | 1988 |

On projection in CAD-based quantifier elimination with equational constraint S McCallum Proceedings of the 1999 international symposium on Symbolic and algebraic …, 1999 | 100 | 1999 |

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 | 96 | 1988 |

An improved projection operation for cylindrical algebraic decomposition (computer algebra, geometry, algorithms) S McCallum The University of Wisconsin-Madison, 1984 | 94 | 1984 |

Solving polynomial strict inequalities using cylindrical algebraic decomposition S McCallum The Computer Journal 36 (5), 432-438, 1993 | 84 | 1993 |

On propagation of equational constraints in CAD-based quantifier elimination S McCallum Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001 | 64 | 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 | 56 | 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 | 54 | 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 |

On using bi-equational constraints in CAD construction CW Brown, S McCallum Proceedings of the 2005 international symposium on Symbolic and algebraic …, 2005 | 35 | 2005 |

Validity proof of Lazard's method for CAD construction S McCallum, A Parusiński, L Paunescu Journal of Symbolic Computation 92, 52-69, 2019 | 33 | 2019 |

Deciding polynomial-transcendental problems S McCallum, V Weispfenning Journal of Symbolic Computation 47 (1), 16-31, 2012 | 33 | 2012 |