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
An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space	1988-01-01	Paper
A polynomial-time algorithm for the topological type of real algebraic curve	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3696510	1985-01-01	Paper
A polynomial-time algorithm for the topological type of real algebraic curve - extended abstract	1984-01-01	Paper
Cylindrical Algebraic Decomposition I: The Basic Algorithm	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3345781	1982-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Scott McCallum