Scott McCallum

Softw. Impacts, 2024

2023

Iterated Resultants and Rational Functions in Real Quantifier Elimination.

[BibT_eX]

[DOI]

CoRR, 2023

2020

The CAD Conundrum: Lex-Least vs Order.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2020

Enhancements to Lazard's Method for Cylindrical Algebraic Decomposition.

[BibT_eX]

[DOI]

Christopher W. Brown

Proceedings of the Computer Algebra in Scientific Computing - 22nd International Workshop, 2020

2019

Validity proof of Lazard's method for CAD construction.

[BibT_eX]

[DOI]

Adam Parusinski

Laurentiu Paunescu

J. Symb. Comput., 2019

Lazard's CAD exploiting equality constraints.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2019

2017

Motion-keying Based Dynamical Scene Layering with Adaptive Learning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nucleic Acids Res., 2016

On using Lazard's projection in CAD construction.

[BibT_eX]

[DOI]

Hoon Hong

J. Symb. Comput., 2016

Truth table invariant cylindrical algebraic decomposition.

[BibT_eX]

[DOI]

J. Symb. Comput., 2016

2013

Cylindrical algebraic decompositions for boolean combinations.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

Psychological dynamics in ICTD projects.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nurcan Tuncbag

Shao-Shan Carol Huang

Ernest Fraenkel

Nucleic Acids Res., 2012

Deciding polynomial-transcendental problems.

[BibT_eX]

[DOI]

Volker Weispfenning

J. Symb. Comput., 2012

2009

Iterated discriminants.

[BibT_eX]

[DOI]

Daniel Lazard

J. Symb. Comput., 2009

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

[BibT_eX]

[DOI]

Christopher W. Brown

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

2008

Deciding polynomial-exponential problems.

[BibT_eX]

[DOI]

Melanie Achatz

Volker Weispfenning

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

2007

Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators.

[BibT_eX]

[DOI]

Elena Kartashova

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.

[BibT_eX]

[DOI]

Bioinform., 2005

On using bi-equational constraints in CAD construction.

[BibT_eX]

[DOI]

Christopher W. Brown

Proceedings of the Symbolic and Algebraic Computation, 2005

2003

On order-invariance of a binomial over a nullifying cell.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, 2003

2002

Local Box Adjacency Algorithms for Cylindrical Algebraic Decompositions.

[BibT_eX]

[DOI]

J. Symb. Comput., 2002

2001

On propagation of equational constraints in CAD-based quantifier elimination.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

1999

On Projection in CAD-Based Quantifier Elimination with Equational Constraint.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

1997

On Testing a Bivariate Polynomial for Analytic Reducibility.

[BibT_eX]

[DOI]

J. Symb. Comput., 1997

Factors of iterated resultants and discriminants.

[BibT_eX]

[DOI]

SIGSAM Bull., 1997

1993

Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition.

[BibT_eX]

[DOI]

Comput. J., 1993

1989

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

[BibT_eX]

[DOI]

Lars Langemyr

J. Symb. Comput., 1989

1988

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

[BibT_eX]

[DOI]

J. Symb. Comput., 1988

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

[BibT_eX]

[DOI]

J. Symb. Comput., 1988

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

[BibT_eX]

[DOI]

J. Symb. Comput., 1988

1985

An Improved Projection Operation for Cylindrical Algebraic Decomposition.

[BibT_eX]

[DOI]

Proceedings of the EUROCAL '85, 1985

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

[BibT_eX]

[DOI]

Proceedings of the EUROCAL '85, 1985

1984

Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane.

[BibT_eX]

[DOI]

SIAM J. Comput., 1984

Cylindrical Algebraic Decomposition I: The Basic Algorithm.

[BibT_eX]

[DOI]

SIAM J. Comput., 1984

1982

Cylindrical Algebraic Decomposition by Quantifier Elimination.

[BibT_eX]

[DOI]