Cylindrical Algebraic Decomposition by Quantifier Elimination. - Dennis S. Arnon; Scott McCallum (EUROCAM, 1982)

Cylindrical Algebraic Decomposition I: The Basic Algorithm. - Dennis S. Arnon; George E. Collins; Scott McCallum (SIAM J. Comput., 1984)

Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane. - Dennis S. Arnon; George E. Collins; Scott McCallum (SIAM J. Comput., 1984)

A Polynominal Time Algorithm for the Topological Type of a Real Algebraic Curve. - Dennis S. Arnon; Scott McCallum (European Conference on Computer Algebra (2), 1985)

An Improved Projection Operation for Cylindrical Algebraic Decomposition. - Scott McCallum (European Conference on Computer Algebra (2), 1985)

An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space. - Dennis S. Arnon; George E. Collins; Scott McCallum (J. Symb. Comput., 1988)

A Polynomial-Time Algorithm for the Topological Type of a Real Algebraic Curve. - Dennis S. Arnon; Scott McCallum (J. Symb. Comput., 1988)

An Improved Projection Operation for Cylindrical Algebraic Decomposition of Three-Dimensional Space. - Scott McCallum (J. Symb. Comput., 1988)

The Computation of Polynomial Greatest Common Divisors Over an Algebraic Number Field. - Lars Langemyr; Scott McCallum (J. Symb. Comput., 1989)

Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition. - Scott McCallum (Comput. J., 1993)

Factors of iterated resultants and discriminants. - Scott McCallum (SIGSAM Bull., 1997)

On Testing a Bivariate Polynomial for Analytic Reducibility. - Scott McCallum (J. Symb. Comput., 1997)

On Projection in CAD-Based Quantifier Elimination with Equational Constraint. - Scott McCallum (ISSAC, 1999)

On propagation of equational constraints in CAD-based quantifier elimination. - Scott McCallum (ISSAC, 2001)

Local Box Adjacency Algorithms for Cylindrical Algebraic Decompositions. - Scott McCallum; George E. Collins (J. Symb. Comput., 2002)

On order-invariance of a binomial over a nullifying cell. - Scott McCallum (ISSAC, 2003)

On using bi-equational constraints in CAD construction. - Christopher W. Brown 001; Scott McCallum (ISSAC, 2005)

TAMO: a flexible, object-oriented framework for analyzing transcriptional regulation using DNA-sequence motifs. - D. Benjamin Gordon; Lena Nekludova; Scott McCallum; Ernest Fraenkel (Bioinform., 2005)

Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators. - Elena Kartashova; Scott McCallum (Calculemus/MKM, 2007)

Deciding polynomial-exponential problems. - Melanie Achatz; Scott McCallum; Volker Weispfenning (ISSAC, 2008)

On delineability of varieties in CAD-based quantifier elimination with two equational constraints. - Scott McCallum; Christopher W. Brown 001 (ISSAC, 2009)

Iterated discriminants. - Daniel Lazard; Scott McCallum (J. Symb. Comput., 2009)

Deciding polynomial-transcendental problems. - Scott McCallum; Volker Weispfenning (J. Symb. Comput., 2012)

SteinerNet: a web server for integrating 'omic' data to discover hidden components of response pathways. - Nurcan Tuncbag; Scott McCallum; Shao-Shan Carol Huang; Ernest Fraenkel (Nucleic Acids Res., 2012)

Psychological dynamics in ICTD projects. - Tara S. Behrend; Alexander E. Gloss; Garett Howardson; Lori Foster Thompson; Scott McCallum (ICTD (2), 2013)

Cylindrical algebraic decompositions for boolean combinations. - Russell J. Bradford; James H. Davenport; Matthew England 001; Scott McCallum; David J. Wilson (ISSAC, 2013)

Truth table invariant cylindrical algebraic decomposition. - Russell J. Bradford; James H. Davenport; Matthew England 001; Scott McCallum; David J. Wilson (J. Symb. Comput., 2016)

On using Lazard's projection in CAD construction. - Scott McCallum; Hoon Hong (J. Symb. Comput., 2016)

MERAV: a tool for comparing gene expression across human tissues and cell types. - Yoav D. Shaul; Bingbing Yuan; Prathapan Thiru; Andy Nutter-Upham; Scott McCallum; Carolyn Lanzkron; George W. Bell; David M. Sabatini (Nucleic Acids Res., 2016)

Motion-keying Based Dynamical Scene Layering with Adaptive Learning. - Charles Z. Liu; Manolya Kavakli; Scott McCallum; Len Hamey (ICCAE, 2017)

Lazard's CAD exploiting equality constraints. - Akshar Nair; James H. Davenport; Gregory Sankaran; Scott McCallum (ACM Commun. Comput. Algebra, 2019)

Validity proof of Lazard's method for CAD construction. - Scott McCallum; Adam Parusinski; Laurentiu Paunescu (J. Symb. Comput., 2019)

Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition. - Christopher W. Brown 001; Scott McCallum (CASC, 2020)

The CAD Conundrum: Lex-Least vs Order. - Scott McCallum; Akshar Nair; James H. Davenport; Gregory Sankaran (SYNASC, 2020)

Iterated Resultants and Rational Functions in Real Quantifier Elimination. - James H. Davenport; Matthew England 001; Scott McCallum; Ali Kemal Uncu (CoRR, 2023)

Mathematica code for the topological analysis of Thom's Catastrophes in 2 × 2 economic games. - Michael S. Harré; Adam Harris; Scott McCallum (Softw. Impacts, 2024)