Scott McCallum

From MaRDI portal
Person:247222

Available identifiers

zbMath Open mccallum.scottWikidataQ102259904 ScholiaQ102259904MaRDI QIDQ247222

List of research outcomes





PublicationDate of PublicationType
Iterated Resultants and Rational Functions in Real Quantifier Elimination2023-12-23Paper
Lazard's CAD exploiting equality constraints2023-01-11Paper
Enhancements to Lazard's method for cylindrical algebraic decomposition2022-12-21Paper
https://portal.mardi4nfdi.de/entity/Q52193752020-03-11Paper
Validity proof of Lazard's method for CAD construction2018-12-28Paper
Cylindrical algebraic decompositions for boolean combinations2017-02-10Paper
On propagation of equational constraints in CAD-based quantifier elimination2017-02-03Paper
Truth table invariant cylindrical algebraic decomposition2016-02-19Paper
On using Lazard's projection in CAD construction2015-08-19Paper
On using bi-equational constraints in CAD construction2015-07-16Paper
On delineability of varieties in CAD-based quantifier elimination with two equational constraints2012-05-13Paper
Deciding polynomial-transcendental problems2011-12-21Paper
The computation of polynomial greatest common divisors over an algebraic number field2011-04-16Paper
Iterated discriminants2009-07-01Paper
Deciding polynomial-exponential problems2009-01-20Paper
Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators2007-11-28Paper
Quantifier elimination for approximate Beals-Kartashova factorization2007-01-07Paper
https://portal.mardi4nfdi.de/entity/Q46606662005-04-04Paper
Local box adjacency algorithms for cylindrical algebraic decompositions2002-06-11Paper
Factors of iterated resultants and discriminants1999-12-16Paper
https://portal.mardi4nfdi.de/entity/Q43912231998-10-01Paper
On testing a bivariate polynomial for analytic reducibility1998-09-20Paper
https://portal.mardi4nfdi.de/entity/Q43912171998-09-13Paper
https://portal.mardi4nfdi.de/entity/Q43912181998-09-13Paper
https://portal.mardi4nfdi.de/entity/Q48424161995-08-14Paper
Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition1994-06-20Paper
The computation of polynomial greatest common divisors over an algebraic number field1989-01-01Paper
An improved projection operation for cylindrical algebraic decomposition of three-dimensional space1988-01-01Paper
A polynomial-time algorithm for the topological type of real algebraic curve1988-01-01Paper
An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36965101985-01-01Paper
Cylindrical Algebraic Decomposition I: The Basic Algorithm1984-01-01Paper
A polynomial-time algorithm for the topological type of real algebraic curve - extended abstract1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33457811982-01-01Paper

Research outcomes over time

This page was built for person: Scott McCallum