Scott McCallum

43 papers B 8Misc 1Journal 26Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Iterated Resultants and Rational Functions in Real Quantifier Elimination.
Math. Comput. Sci.
James H. Davenport, Matthew England, Scott McCallum, Ali Kemal Uncu
2025 J jnl
Linear Regression in p-adic metric spaces.
CoRR
Gregory D. Baker, Scott McCallum, Dirk Pattinson
2024 J jnl
Mathematica code for the topological analysis of Thom's Catastrophes in 2 × 2 economic games.
Softw. Impacts
Michael S. Harré, Adam Harris, Scott McCallum
2023 J jnl
Iterated Resultants and Rational Functions in Real Quantifier Elimination.
CoRR
James H. Davenport, Matthew England, Scott McCallum, Ali Kemal Uncu
2020 B conf
Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition.
CASC
Christopher W. Brown, Scott McCallum
2020 Misc conf
The CAD Conundrum: Lex-Least vs Order.
SYNASC
Scott McCallum, Akshar Nair, James H. Davenport, Gregory Sankaran
2019 J jnl
Lazard's CAD exploiting equality constraints.
ACM Commun. Comput. Algebra
Akshar Nair, James H. Davenport, Gregory Sankaran, Scott McCallum
2019 J jnl
Validity proof of Lazard's method for CAD construction.
J. Symb. Comput.
Scott McCallum, Adam Parusinski, Laurentiu Paunescu
2017 — conf
Motion-keying Based Dynamical Scene Layering with Adaptive Learning.
ICCAE
Charles Z. Liu, Manolya Kavakli, Scott McCallum, Len Hamey
2016 J jnl
MERAV: a tool for comparing gene expression across human tissues and cell types.
Nucleic Acids Res.
Yoav D. Shaul, Bingbing Yuan, Prathapan Thiru, Andy Nutter-Upham, Scott McCallum, Carolyn Lanzkron, George W. Bell, David M. Sabatini
2016 J jnl
On using Lazard's projection in CAD construction.
J. Symb. Comput.
Scott McCallum, Hoon Hong
2016 J jnl
Truth table invariant cylindrical algebraic decomposition.
J. Symb. Comput.
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
2014 J jnl
Truth Table Invariant Cylindrical Algebraic Decomposition.
CoRR
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
2013 J jnl
Cylindrical Algebraic Decompositions for Boolean Combinations
CoRR
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
2013 B conf
Cylindrical algebraic decompositions for boolean combinations.
ISSAC
Russell J. Bradford, James H. Davenport, Matthew England, Scott McCallum, David J. Wilson
2013 — conf
Psychological dynamics in ICTD projects.
ICTD (2)
Tara S. Behrend, Alexander E. Gloss, Garett Howardson, Lori Foster Thompson, Scott McCallum
2012 J jnl
Deciding polynomial-transcendental problems.
J. Symb. Comput.
Scott McCallum, Volker Weispfenning
2012 J jnl
SteinerNet: a web server for integrating 'omic' data to discover hidden components of response pathways.
Nucleic Acids Res.
Nurcan Tuncbag, Scott McCallum, Shao-Shan Carol Huang, Ernest Fraenkel
2009 J jnl
Iterated discriminants.
J. Symb. Comput.
Daniel Lazard, Scott McCallum
2009 B conf
On delineability of varieties in CAD-based quantifier elimination with two equational constraints.
ISSAC
Scott McCallum, Christopher W. Brown
2008 B conf
Deciding polynomial-exponential problems.
ISSAC
Melanie Achatz, Scott McCallum, Volker Weispfenning
2007 — conf
Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators.
Calculemus/MKM
Elena Kartashova, Scott McCallum
2005 B conf
On using bi-equational constraints in CAD construction.
ISSAC
Christopher W. Brown, Scott McCallum
2005 J jnl
TAMO: a flexible, object-oriented framework for analyzing transcriptional regulation using DNA-sequence motifs.
Bioinform.
D. Benjamin Gordon, Lena Nekludova, Scott McCallum, Ernest Fraenkel
2003 B conf
On order-invariance of a binomial over a nullifying cell.
ISSAC
Scott McCallum
2002 J jnl
Local Box Adjacency Algorithms for Cylindrical Algebraic Decompositions.
J. Symb. Comput.
Scott McCallum, George E. Collins
2001 B conf
On propagation of equational constraints in CAD-based quantifier elimination.
ISSAC
Scott McCallum
1999 J jnl
Factors of Iterated Resultants and Discriminants.
J. Symb. Comput.
Scott McCallum
1999 B conf
On Projection in CAD-Based Quantifier Elimination with Equational Constraint.
ISSAC
Scott McCallum
1997 J jnl
Factors of iterated resultants and discriminants.
SIGSAM Bull.
Scott McCallum
1997 J jnl
On Testing a Bivariate Polynomial for Analytic Reducibility.
J. Symb. Comput.
Scott McCallum
1993 J jnl
Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition.
Comput. J.
Scott McCallum
1989 J jnl
The Computation of Polynomial Greatest Common Divisors Over an Algebraic Number Field.
J. Symb. Comput.
Lars Langemyr, Scott McCallum
1988 J jnl
A Polynomial-Time Algorithm for the Topological Type of a Real Algebraic Curve.
J. Symb. Comput.
Dennis S. Arnon, Scott McCallum
1988 J jnl
An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space.
J. Symb. Comput.
Dennis S. Arnon, George E. Collins, Scott McCallum
1988 J jnl
An Improved Projection Operation for Cylindrical Algebraic Decomposition of Three-Dimensional Space.
J. Symb. Comput.
Scott McCallum
1987 — conf
The computation of polynomial greatest common divisors over an algebraic number field.
EUROCAL
Lars Langemyr, Scott McCallum
1985 — conf
A Polynominal Time Algorithm for the Topological Type of a Real Algebraic Curve.
European Conference on Computer Algebra (2)
Dennis S. Arnon, Scott McCallum
1985 — conf
An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space.
European Conference on Computer Algebra (2)
Dennis S. Arnon, George E. Collins, Scott McCallum
1985 — conf
An Improved Projection Operation for Cylindrical Algebraic Decomposition.
European Conference on Computer Algebra (2)
Scott McCallum
1984 J jnl
Cylindrical Algebraic Decomposition I: The Basic Algorithm.
SIAM J. Comput.
Dennis S. Arnon, George E. Collins, Scott McCallum
1984 J jnl
Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane.
SIAM J. Comput.
Dennis S. Arnon, George E. Collins, Scott McCallum
1982 — conf
Cylindrical Algebraic Decomposition by Quantifier Elimination.
EUROCAM
Dennis S. Arnon, Scott McCallum