Scott McCallum

发表

Production Prediction Using Multi-Output Supervised Machine Learning ML

Felipe Silva, Hoss Belyadi, Scott McCallum, 2019 .

On propagation of equational constraints in CAD-based quantifier elimination

Scott McCallum, 2001, ISSAC '01.

Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition

Christopher W. Brown, Scott McCallum, 2020, CASC.

Deciding polynomial-exponential problems

Volker Weispfenning, Scott McCallum, Melanie Achatz, 2008, ISSAC '08.

Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition

Matthew England, James H. Davenport, Russell J. Bradford, 2015 .

Cylindrical algebraic decompositions for boolean combinations pdf

Matthew England, James H. Davenport, Russell J. Bradford, 2013, ISSAC '13.

Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition

Scott McCallum, 1993, Comput. J..

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

Ernest Fraenkel, Scott McCallum, D. Benjamin Gordon, 2005, Bioinform..

Cylindrical Algebraic Decomposition by Quantifier Elimination

Scott McCallum, Dennis S. Arnon, 1982, EUROCAM.

Deciding polynomial-transcendental problems

Volker Weispfenning, Scott McCallum, V. Weispfenning, 2012, J. Symb. Comput..

Iterated discriminants

Daniel Lazard, Scott McCallum, 2009, J. Symb. Comput..

Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators

Scott McCallum, Elena Kartashova, 2007, Calculemus/MKM.

The Computation of Polynomial Greatest Common Divisors Over an Algebraic Number Field

Scott McCallum, Lars Langemyr, 1989, J. Symb. Comput..

Local Box Adjacency Algorithms for Cylindrical Algebraic Decompositions

George E. Collins, Scott McCallum, 2002, J. Symb. Comput..

MERAV: a tool for comparing gene expression across human tissues and cell types

Scott McCallum, Bingbing Yuan, George W. Bell, 2015, Nucleic Acids Res..

The computation of polynomial greatest common divisors over an algebraic number field

Scott McCallum, Lars Langemyr, 1987, EUROCAL.

On Testing a Bivariate Polynomial for Analytic Reducibility

Scott McCallum, S. McCallum, 1997, J. Symb. Comput..

Cylindrical Algebraic Decomposition I: The Basic Algorithm

George E. Collins, Scott McCallum, Dennis S. Arnon, 1984, SIAM J. Comput..

An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space

George E. Collins, Scott McCallum, Dennis S. Arnon, 1988, J. Symb. Comput..

Truth table invariant cylindrical algebraic decomposition

Matthew England, James H. Davenport, Russell J. Bradford, 2016, J. Symb. Comput..

Factors of Iterated Resultants and Discriminants

Scott McCallum, 1999, J. Symb. Comput..

Psychological dynamics in ICTD projects

Tara S. Behrend, Scott McCallum, Lori Foster Thompson, 2013, ICTD '13.

Putting human capabilities to work

Scott McCallum, Alexander Gloss, Lori Foster, 2015 .

On delineability of varieties in CAD-based quantifier elimination with two equational constraints

Christopher W. Brown, Scott McCallum, 2009, ISSAC '09.

An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space

George E. Collins, Scott McCallum, Dennis S. Arnon, 1985, J. Symb. Comput..

On using bi-equational constraints in CAD construction

Christopher W. Brown, Scott McCallum, S. McCallum, 2005, ISSAC.

Factors of iterated resultants and discriminants

Scott McCallum, S. McCallum, 1997, SIGS.

Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane

George E. Collins, Scott McCallum, Dennis S. Arnon, 1984, SIAM J. Comput..

Validity proof of Lazard's method for CAD construction

Scott McCallum, Adam Parusinski, Laurentiu Paunescu, 2016, J. Symb. Comput..

An Improved Projection Operation for Cylindrical Algebraic Decomposition

Scott McCallum, S. McCallum, 1985, European Conference on Computer Algebra.

On projection in CAD-based quantifier elimination with equational constraint

Scott McCallum, S. McCallum, 1999, ISSAC '99.

On order-invariance of a binomial over a nullifying cell

Scott McCallum, 2003, ISSAC '03.

SteinerNet: a web server for integrating ‘omic’ data to discover hidden components of response pathways

Ernest Fraenkel, Nurcan Tuncbag, Scott McCallum, 2012, Nucleic Acids Res..

An Improved Projection Operation for Cylindrical Algebraic Decomposition of Three-Dimensional Space

Scott McCallum, S. McCallum, 1988, J. Symb. Comput..

Motion-keying Based Dynamical Scene Layering with Adaptive Learning

Len Hamey, Manolya Kavakli, Charles Z. Liu, 2017, ICCAE '17.

Lazard's CAD exploiting equality constraints

Scott McCallum, James Davenport, Akshar Nair, 2019, ACCA.

On using Lazard's projection in CAD construction

Hoon Hong, Scott McCallum, H. Hong, 2016, J. Symb. Comput..

A Polynomial-Time Algorithm for the Topological Type of a Real Algebraic Curve

Scott McCallum, Dennis S. Arnon, D. Arnon, 1984, J. Symb. Comput..

A Polynominal Time Algorithm for the Topological Type of a Real Algebraic Curve

Scott McCallum, Dennis S. Arnon, 1985, European Conference on Computer Algebra.

On Lazard's Valuation and CAD Construction

Hoon Hong, Scott McCallum, 2015 .

A polynomial-time algorithm for the topological type of a real algebraic curve

Scott McCallum, Dennis S. Arnon, 1984 .

An improved projection operation for cylindrical algebraic decomposition (computer algebra, geometry, algorithms)

Scott McCallum, 1984 .