Follow
Scott McCallum
Scott McCallum
Senior Lecturer in Computing, Macquarie University
Verified email at mq.edu.au - Homepage
Title
Cited by
Cited by
Year
Cylindrical algebraic decomposition I: The basic algorithm
DS Arnon, GE Collins, S McCallum
SIAM Journal on Computing 13 (4), 865-877, 1984
5101984
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
1561984
An improved projection operation for cylindrical algebraic decomposition
S McCallum
Quantifier Elimination and Cylindrical Algebraic Decomposition, 242-268, 1998
1491998
An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
S McCallum
Journal of Symbolic Computation 5 (1-2), 141-161, 1988
1401988
On projection in CAD-based quantifier elimination with equational constraint
S McCallum
Proceedings of the 1999 international symposium on Symbolic and algebraic …, 1999
1071999
An improved projection operation for cylindrical algebraic decomposition
S McCallum
EUROCAL'85: European Conference on Computer Algebra Linz, Austria, April 1–3 …, 1985
1041985
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
1001988
Solving polynomial strict inequalities using cylindrical algebraic decomposition
S McCallum
The Computer Journal 36 (5), 432-438, 1993
851993
On propagation of equational constraints in CAD-based quantifier elimination
S McCallum
Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001
702001
Truth table invariant cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Journal of Symbolic Computation 76, 1-35, 2016
652016
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
571989
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
451988
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
422013
Deciding polynomial-exponential problems
M Achatz, S McCallum, V Weispfenning
Proceedings of the twenty-first international symposium on Symbolic and …, 2008
382008
Validity proof of Lazard's method for CAD construction
S McCallum, A Parusiński, L Paunescu
Journal of Symbolic Computation 92, 52-69, 2019
372019
Deciding polynomial-transcendental problems
S McCallum, V Weispfenning
Journal of Symbolic Computation 47 (1), 16-31, 2012
362012
On using bi-equational constraints in CAD construction
CW Brown, S McCallum
Proceedings of the 2005 international symposium on Symbolic and algebraic …, 2005
362005
Iterated discriminants
D Lazard, S McCallum
Journal of Symbolic Computation 44 (9), 1176-1193, 2009
262009
Factors of iterated resultants and discriminants
S McCallum
Journal of Symbolic Computation 27 (4), 367-385, 1999
231999
Local box adjacency algorithms for cylindrical algebraic decompositions
SM c Callum, GE Collins
Journal of Symbolic Computation 33 (3), 321-342, 2002
202002
The system can't perform the operation now. Try again later.
Articles 1–20