Scott McCallum
Scott McCallum
Senior Lecturer in Computing, Macquarie University
Email verificata su mq.edu.au - Home page
TitoloCitata daAnno
Cylindrical algebraic decomposition I: The basic algorithm
DS Arnon, GE Collins, S McCallum
SIAM Journal on Computing 13 (4), 865-877, 1984
4231984
Cylindrical algebraic decomposition I: The basic algorithm
DS Arnon, GE Collins, S McCallum
SIAM Journal on Computing 13 (4), 865-877, 1984
3871984
Cylindrical algebraic decomposition I: The basic algorithm
DS Arnon, GE Collins, S McCallum
SIAM Journal on Computing 13 (4), 865-877, 1984
3871984
Cylindrical algebraic decomposition I: The basic algorithm
DS Arnon, GE Collins, S McCallum
SIAM Journal on Computing 13 (4), 865-877, 1984
3871984
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
1401984
An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
S McCallum
Journal of Symbolic Computation 5 (1-2), 141-161, 1988
1161988
An improved projection operation for cylindrical algebraic decomposition
S McCallum
Quantifier Elimination and Cylindrical Algebraic Decomposition, 242-268, 1998
1111998
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
921988
On projection in CAD-based quantifier elimination with equational constraint
S McCallum
International Symposium on Symbolic and Algebraic Computation, 145-149, 1999
761999
An improved projection operation for cylindrical algebraic decomposition
S McCallum
European Conference on Computer Algebra, 277-278, 1985
761985
Solving polynomial strict inequalities using cylindrical algebraic decomposition
S McCallum
The Computer Journal 36 (5), 432-438, 1993
751993
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
501989
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
Truth table invariant cylindrical algebraic decomposition
R Bradford, JH Davenport, M England, S McCallum, D Wilson
Journal of Symbolic Computation 76, 1-35, 2016
43*2016
On propagation of equational constraints in CAD-based quantifier elimination
S McCallum
Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001
422001
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
392013
On using bi-equational constraints in CAD construction
CW Brown, S McCallum
Proceedings of the 2005 international symposium on Symbolic and algebraic …, 2005
332005
Deciding polynomial-exponential problems
M Achatz, S McCallum, V Weispfenning
Proceedings of the twenty-first international symposium on Symbolic and …, 2008
222008
Local box adjacency algorithms for cylindrical algebraic decompositions
SM c Callum, GE Collins
Journal of Symbolic Computation 33 (3), 321-342, 2002
192002
On testing a bivariate polynomial for analytic reducibility
S McCallum
Journal of Symbolic Computation 24 (5), 509-535, 1997
171997
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20