Scott McCallum

Available identifiers

zbMath Open mccallum.scottWikidataQ102259904 ScholiaQ102259904MaRDI QIDQ247222

List of research outcomes

Publication	Date of Publication	Type
Iterated Resultants and Rational Functions in Real Quantifier Elimination	2023-12-23	Paper
Lazard's CAD exploiting equality constraints	2023-01-11	Paper
Enhancements to Lazard's method for cylindrical algebraic decomposition	2022-12-21	Paper
https://portal.mardi4nfdi.de/entity/Q5219375	2020-03-11	Paper
Validity proof of Lazard's method for CAD construction	2018-12-28	Paper
Cylindrical algebraic decompositions for boolean combinations	2017-02-10	Paper
On propagation of equational constraints in CAD-based quantifier elimination	2017-02-03	Paper
Truth table invariant cylindrical algebraic decomposition	2016-02-19	Paper
On using Lazard's projection in CAD construction	2015-08-19	Paper
On using bi-equational constraints in CAD construction	2015-07-16	Paper
On delineability of varieties in CAD-based quantifier elimination with two equational constraints	2012-05-13	Paper
Deciding polynomial-transcendental problems	2011-12-21	Paper
The computation of polynomial greatest common divisors over an algebraic number field	2011-04-16	Paper
Iterated discriminants	2009-07-01	Paper
Deciding polynomial-exponential problems	2009-01-20	Paper
Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators	2007-11-28	Paper
Quantifier elimination for approximate Beals-Kartashova factorization	2007-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4660666	2005-04-04	Paper
Local box adjacency algorithms for cylindrical algebraic decompositions	2002-06-11	Paper
Factors of iterated resultants and discriminants	1999-12-16	Paper
https://portal.mardi4nfdi.de/entity/Q4391223	1998-10-01	Paper
On testing a bivariate polynomial for analytic reducibility	1998-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4391217	1998-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4391218	1998-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4842416	1995-08-14	Paper
Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition	1994-06-20	Paper
The computation of polynomial greatest common divisors over an algebraic number field	1989-01-01	Paper
An improved projection operation for cylindrical algebraic decomposition of three-dimensional space	1988-01-01	Paper
A polynomial-time algorithm for the topological type of real algebraic curve	1988-01-01	Paper
An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3696510	1985-01-01	Paper
Cylindrical Algebraic Decomposition I: The Basic Algorithm	1984-01-01	Paper
A polynomial-time algorithm for the topological type of real algebraic curve - extended abstract	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3345781	1982-01-01	Paper

Research outcomes over time

This page was built for person: Scott McCallum