Scott McCallum

Orcid: 0000-0002-5682-7993

According to our database1, Scott McCallum authored at least 36 papers between 1982 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Mathematica code for the topological analysis of Thom's Catastrophes in 2 × 2 economic games.
Softw. Impacts, 2024

2023
Iterated Resultants and Rational Functions in Real Quantifier Elimination.
CoRR, 2023

2020
The CAD Conundrum: Lex-Least vs Order.
Proceedings of the 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2020

Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition.
Proceedings of the Computer Algebra in Scientific Computing - 22nd International Workshop, 2020

2019
Validity proof of Lazard's method for CAD construction.
J. Symb. Comput., 2019

Lazard's CAD exploiting equality constraints.
ACM Commun. Comput. Algebra, 2019

2017
Motion-keying Based Dynamical Scene Layering with Adaptive Learning.
Proceedings of the 9th International Conference on Computer and Automation Engineering, 2017

2016
MERAV: a tool for comparing gene expression across human tissues and cell types.
Nucleic Acids Res., 2016

On using Lazard's projection in CAD construction.
J. Symb. Comput., 2016

Truth table invariant cylindrical algebraic decomposition.
J. Symb. Comput., 2016

2013
Cylindrical algebraic decompositions for boolean combinations.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

Psychological dynamics in ICTD projects.
Proceedings of the International conference on information and communication technologies and development, 2013

2012
SteinerNet: a web server for integrating 'omic' data to discover hidden components of response pathways.
Nucleic Acids Res., 2012

Deciding polynomial-transcendental problems.
J. Symb. Comput., 2012

2009
Iterated discriminants.
J. Symb. Comput., 2009

On delineability of varieties in CAD-based quantifier elimination with two equational constraints.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

2008
Deciding polynomial-exponential problems.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

2007
Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2005
TAMO: a flexible, object-oriented framework for analyzing transcriptional regulation using DNA-sequence motifs.
Bioinform., 2005

On using bi-equational constraints in CAD construction.
Proceedings of the Symbolic and Algebraic Computation, 2005

2003
On order-invariance of a binomial over a nullifying cell.
Proceedings of the Symbolic and Algebraic Computation, 2003

2002
Local Box Adjacency Algorithms for Cylindrical Algebraic Decompositions.
J. Symb. Comput., 2002

2001
On propagation of equational constraints in CAD-based quantifier elimination.
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

1999
On Projection in CAD-Based Quantifier Elimination with Equational Constraint.
Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

1997
On Testing a Bivariate Polynomial for Analytic Reducibility.
J. Symb. Comput., 1997

Factors of iterated resultants and discriminants.
SIGSAM Bull., 1997

1993
Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition.
Comput. J., 1993

1989
The Computation of Polynomial Greatest Common Divisors Over an Algebraic Number Field.
J. Symb. Comput., 1989

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

A Polynomial-Time Algorithm for the Topological Type of a Real Algebraic Curve.
J. Symb. Comput., 1988

An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space.
J. Symb. Comput., 1988

1985
An Improved Projection Operation for Cylindrical Algebraic Decomposition.
Proceedings of the EUROCAL '85, 1985

A Polynominal Time Algorithm for the Topological Type of a Real Algebraic Curve.
Proceedings of the EUROCAL '85, 1985

1984
Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane.
SIAM J. Comput., 1984

Cylindrical Algebraic Decomposition I: The Basic Algorithm.
SIAM J. Comput., 1984

1982
Cylindrical Algebraic Decomposition by Quantifier Elimination.
Proceedings of the Computer Algebra, 1982


  Loading...